aboutsummaryrefslogtreecommitdiff
path: root/ROOT (unfollow)
Commit message (Expand)AuthorFilesLines
2020-07-31(FEAT) Term elaboration of assumption and goal statements.Josh Chen1-4/+2
2020-06-19reorganizeJosh Chen1-11/+10
2020-06-15fix ROOTJosh Chen1-1/+1
2020-05-29clean up Eckmann-Hilton and move to IdentityJosh Chen1-1/+0
2020-05-28reorganize folder structureJosh Chen1-4/+3
2020-05-27move More_Types to SpartanJosh Chen1-1/+1
2020-05-27Eckmann-Hilton, first passJosh Chen1-0/+1
2020-05-26add MaybeJosh Chen1-0/+1
2020-05-25more reorganizingJosh Chen1-3/+2
2020-05-25Lists + more reorganizingJosh Chen1-2/+3
2020-05-25Reorganize theory structure. In particular, the identity type moves out from ...Josh Chen1-4/+14
2020-04-16update for Isabelle2020Josh Chen1-0/+1
2020-04-03fix ROOTJosh Chen1-1/+1
2020-04-02Brand-spanking new version using Spartan infrastructureJosh Chen1-22/+21
2019-02-041. Change syntax to rely less on unicode/control symbols.Josh Chen1-1/+2
2018-09-18Add ROOT. No eta-contractionJosh Chen1-2/+16
2018-09-18add ROOT fileLars Hupel1-0/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 22:27:19 +0000