aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib/List.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Swapped notation for metas (now ?) and holes (now {}), other notation and nam...Josh Chen2021-01-181-7/+7
* (FEAT) Context data slots for known types and conditional type rules, as well...Josh Chen2020-08-141-1/+1
* (REF) Tweak attribute names in preparation for new logical introduction rule ...Josh Chen2020-07-311-5/+5
* (FEAT) Term elaboration of assumption and goal statements.Josh Chen2020-07-311-5/+5
* 1. Type-checking/inference now more principled, and the implementation is bet...Josh Chen2020-07-211-6/+7
* 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