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