isabelle: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 22 Jul 2009 15:28:18 +0200] rev 32137

tuned proofs and added some lemmas

haftmann [Wed, 22 Jul 2009 14:21:52 +0200] rev 32136

merged

haftmann [Wed, 22 Jul 2009 14:20:32 +0200] rev 32135

set intersection and union now named inter and union; closer connection between set and lattice operations; factored out complete lattice

haftmann [Wed, 22 Jul 2009 14:20:32 +0200] rev 32134

set intersection and union now named inter and union

haftmann [Wed, 22 Jul 2009 14:20:31 +0200] rev 32133

spurious proof failure

wenzelm [Wed, 22 Jul 2009 11:48:04 +0200] rev 32132

original rail implementation by Michael Kerscher;

wenzelm [Wed, 22 Jul 2009 11:23:09 +0200] rev 32131

merged, resolving trivial conflict;

nipkow [Wed, 22 Jul 2009 10:49:26 +0200] rev 32130

News

haftmann [Wed, 22 Jul 2009 08:05:33 +0200] rev 32129

explicit antiquotation

haftmann [Tue, 21 Jul 2009 17:03:40 +0200] rev 32128

merged

isabelle