Wed, 13 Jun 2007 00:01:41 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
Wed, 13 Jun 2007 00:01:38 +0200 | wenzelm | Basic text: include position; | changeset | files |
Tue, 12 Jun 2007 23:39:02 +0200 | huffman | thm antiquotations | changeset | files |
Tue, 12 Jun 2007 23:14:29 +0200 | huffman | add lemma inj_of_nat | changeset | files |
Tue, 12 Jun 2007 21:59:40 +0200 | huffman | thm antiquotations | changeset | files |
Tue, 12 Jun 2007 20:49:56 +0200 | chaieb | Unfortunately needed patch due to incompatibility with SML -- oo is infix and hence can not appear on the left handside of patterns | changeset | files |