isabelle: Changelog

ballarin [Mon, 04 Aug 2008 10:37:33 +0200] rev 27718

Updated locale tests.

ballarin [Fri, 01 Aug 2008 18:10:52 +0200] rev 27717

Generalised polynomial lemmas from cring to ring.

ballarin [Fri, 01 Aug 2008 17:41:37 +0200] rev 27716

Removed import and lparams from locale record.

nipkow [Fri, 01 Aug 2008 12:57:50 +0200] rev 27715

made setsum executable on int.

ballarin [Thu, 31 Jul 2008 09:49:21 +0200] rev 27714

Tuned (for the sake of a meaningless log entry).

ballarin [Wed, 30 Jul 2008 19:03:33 +0200] rev 27713

New locales for orders and lattices where the equivalence relation is not restricted to equality.

nipkow [Wed, 30 Jul 2008 16:07:00 +0200] rev 27712

added hint about writing "x : set xs".

haftmann [Wed, 30 Jul 2008 07:34:01 +0200] rev 27711

simple lifters

haftmann [Wed, 30 Jul 2008 07:34:00 +0200] rev 27710

dropped imperative monad bind

haftmann [Wed, 30 Jul 2008 07:33:59 +0200] rev 27709

facts_of

isabelle