Commit Graph

5 Commits (0fc992e3302592252181310bff15d97cb11d48ae)

Author SHA1 Message Date
Jon Eugster ae58652fa9 lemma docs 3 years ago
Jon Eugster 27e82378d0 bump mathlib and fixes 3 years ago
Jon Eugster 93114620c4 story world 2 and 3 3 years ago
Jon Eugster 9d1a591670 changes to levels 3 years ago
Jon Eugster 420f913e69 reorganise world Implication 3 years ago