| 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 |