Wed, 13 Jun 2007 00:01:51 +0200 Method.Basic: include position;
wenzelm [Wed, 13 Jun 2007 00:01:51 +0200] rev 23351
Method.Basic: include position;
Wed, 13 Jun 2007 00:01:41 +0200 tuned proofs: avoid implicit prems;
wenzelm [Wed, 13 Jun 2007 00:01:41 +0200] rev 23350
tuned proofs: avoid implicit prems;
Wed, 13 Jun 2007 00:01:38 +0200 Basic text: include position;
wenzelm [Wed, 13 Jun 2007 00:01:38 +0200] rev 23349
Basic text: include position; assumption/close: refer to non-atomic assumptions as well, implicit use of prems now considered legacy feature;
Tue, 12 Jun 2007 23:39:02 +0200 thm antiquotations
huffman [Tue, 12 Jun 2007 23:39:02 +0200] rev 23348
thm antiquotations
Tue, 12 Jun 2007 23:14:29 +0200 add lemma inj_of_nat
huffman [Tue, 12 Jun 2007 23:14:29 +0200] rev 23347
add lemma inj_of_nat
Tue, 12 Jun 2007 21:59:40 +0200 thm antiquotations
huffman [Tue, 12 Jun 2007 21:59:40 +0200] rev 23346
thm antiquotations
Tue, 12 Jun 2007 20:49:56 +0200 Unfortunately needed patch due to incompatibility with SML -- oo is infix and hence can not appear on the left handside of patterns
chaieb [Tue, 12 Jun 2007 20:49:56 +0200] rev 23345
Unfortunately needed patch due to incompatibility with SML -- oo is infix and hence can not appear on the left handside of patterns
Tue, 12 Jun 2007 20:49:50 +0200 changed int stuff into integer for SMLNJ compatibility
chaieb [Tue, 12 Jun 2007 20:49:50 +0200] rev 23344
changed int stuff into integer for SMLNJ compatibility
Tue, 12 Jun 2007 17:20:30 +0200 more of_rat lemmas
huffman [Tue, 12 Jun 2007 17:20:30 +0200] rev 23343
more of_rat lemmas
Tue, 12 Jun 2007 17:04:26 +0200 add function of_rat and related lemmas
huffman [Tue, 12 Jun 2007 17:04:26 +0200] rev 23342
add function of_rat and related lemmas
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip