aboutsummaryrefslogtreecommitdiff
path: root/spartan/data/Maybe.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-05-28more List and MaybeJosh Chen1-2/+4
2020-05-27change variable name in elim rules and fix small mistakeJosh Chen1-0/+4
2020-05-271. Define Maybe in terms of other types. 2. Move More_Types to SpartanJosh Chen1-28/+42
2020-05-26Maybe and more ListJosh Chen1-0/+56