Commit Graph

3 Commits (6bb758c66617b41a9bbeee6e35cd6f82f7783c8d)

Author SHA1 Message Date
Jon Eugster 17792e1a01 Add Support for lemma statement. 4 years ago
Jon Eugster 87f943a08c levels: negation, nat-basics 4 years ago
Jon cde0e95c1e more levels 4 years ago