Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

	Commit message (Expand)	Author	Files	Lines
2020-07-09	Non-annotated object lambda	Josh Chen	1	-6/+6
2020-07-08	1. Initial `Definition` keyword. 2. ifelse.	Josh Chen	1	-4/+46
2020-06-15	rename folders	Josh Chen	1	-0/+0
2020-06-03	1. Type information context data	Josh Chen	1	-0/+8
2020-05-28	more List and Maybe	Josh Chen	1	-0/+3
2020-05-27	change variable name in elim rules and fix small mistake	Josh Chen	1	-1/+2
2020-05-27	1. Define Maybe in terms of other types. 2. Move More_Types to Spartan	Josh Chen	1	-2/+3
2020-05-25	more reorganizing	Josh Chen	1	-1/+1
2020-05-25	Lists + more reorganizing	Josh Chen	1	-9/+1
2020-05-25	Reorganize theory structure. In particular, the identity type moves out from ...	Josh Chen	1	-1/+1
2020-04-03	1. Base theory. 2. Fix Nat axioms, addition.	Josh Chen	1	-2/+11
2020-04-02	Brand-spanking new version using Spartan infrastructure	Josh Chen	1	-0/+90