aboutsummaryrefslogtreecommitdiff
path: root/ROOT (unfollow)
Commit message (Expand)AuthorFilesLines
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