isabelle: Changelog

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

haftmann [Wed, 30 Jul 2008 07:33:58 +0200] rev 27708

improved morphism

haftmann [Wed, 30 Jul 2008 07:33:57 +0200] rev 27707

SML_imp, OCaml_imp

haftmann [Wed, 30 Jul 2008 07:33:56 +0200] rev 27706

clarified

isabelle