isabelle: Changelog

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

haftmann [Tue, 21 Jul 2009 17:02:18 +0200] rev 32127

merged

haftmann [Tue, 21 Jul 2009 16:14:56 +0200] rev 32126

obey captialized directory names convention

isabelle