| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 18 Mar 2008 20:33:31 +0100 | wenzelm | removed redundant less_trans, less_linear, le_imp_less_or_eq, le_less_trans, less_le_trans (cf. Orderings.thy); | file | diff | annotate |
| Tue, 18 Dec 2007 00:17:00 +0100 | wenzelm | split_primel: salvaged original proof after blow with sledghammer | file | diff | annotate |
| Wed, 28 Nov 2007 16:26:53 +0100 | paulson | simplified using sledgehammer | file | diff | annotate |
| Wed, 24 Oct 2007 20:38:27 +0200 | wenzelm | avoid very slow metis invocation (saves 1min on 1.60 GHz machine); | file | diff | annotate |
| Tue, 23 Oct 2007 13:10:19 +0200 | paulson | random tidying of proofs | file | diff | annotate |
| Wed, 03 Oct 2007 00:02:58 +0200 | wenzelm | major speedup by avoiding metis; | file | diff | annotate |