aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib/List.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Non-annotated object lambdaJosh Chen2020-07-091-6/+6
|
* 1. Initial `Definition` keyword. 2. ifelse.Josh Chen2020-07-081-10/+8
|
* rename foldersJosh Chen2020-06-151-0/+192