Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Fri, 09 Dec 2011 11:31:13 +0100 | noschinl | more systematic lemma name | file | diff | annotate |
Sun, 20 Nov 2011 17:44:41 +0100 | wenzelm | 'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing; | file | diff | annotate |
Fri, 28 Oct 2011 23:41:16 +0200 | wenzelm | tuned Named_Thms: proper binding; | file | diff | annotate |
Thu, 22 Sep 2011 14:12:16 -0700 | huffman | discontinued legacy theorem names from RealDef.thy | file | diff | annotate |
Tue, 13 Sep 2011 17:07:33 -0700 | huffman | tuned proofs | file | diff | annotate |
Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |