isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 24 Feb 2012 08:49:36 +0100 explicit remove of lattice notation

changeset

haftmann [Fri, 24 Feb 2012 08:49:36 +0100] rev 46637

explicit remove of lattice notation

Fri, 24 Feb 2012 07:30:24 +0100 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

haftmann [Fri, 24 Feb 2012 07:30:24 +0100] rev 46636

moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy

Thu, 23 Feb 2012 21:25:59 +0100 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

haftmann [Thu, 23 Feb 2012 21:25:59 +0100] rev 46635

moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy

Thu, 23 Feb 2012 21:16:54 +0100 dropped dead code

changeset

haftmann [Thu, 23 Feb 2012 21:16:54 +0100] rev 46634

dropped dead code

Thu, 23 Feb 2012 22:07:12 +0100 tuned isatest settings;

changeset

wenzelm [Thu, 23 Feb 2012 22:07:12 +0100] rev 46633

tuned isatest settings;

Thu, 23 Feb 2012 21:39:11 +0100 merged

changeset

wenzelm [Thu, 23 Feb 2012 21:39:11 +0100] rev 46632

merged

Thu, 23 Feb 2012 20:33:35 +0100 moved lemmas for orderings and lattices on predicates to corresponding theories, retaining declaration order of classical rules; tuned headings; tuned syntax

changeset

haftmann [Thu, 23 Feb 2012 20:33:35 +0100] rev 46631

moved lemmas for orderings and lattices on predicates to corresponding theories, retaining declaration order of classical rules; tuned headings; tuned syntax

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom