Fri, 24 Feb 2012 08:49:36 +0100 | haftmann | explicit remove of lattice notation | changeset | files |
Fri, 24 Feb 2012 07:30:24 +0100 | haftmann | moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy | changeset | files |
Thu, 23 Feb 2012 21:25:59 +0100 | haftmann | moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy | changeset | files |
Thu, 23 Feb 2012 21:16:54 +0100 | haftmann | dropped dead code | changeset | files |
Thu, 23 Feb 2012 22:07:12 +0100 | wenzelm | tuned isatest settings; | changeset | files |
Thu, 23 Feb 2012 21:39:11 +0100 | wenzelm | merged | changeset | files |
Thu, 23 Feb 2012 20:33:35 +0100 | haftmann | moved lemmas for orderings and lattices on predicates to corresponding theories, retaining declaration order of classical rules; tuned headings; tuned syntax | changeset | files |