isabelle: Changelog

haftmann [Thu, 23 Jul 2009 15:59:14 +0200] rev 32142

fixed doc

berghofe [Thu, 23 Jul 2009 09:38:22 +0200] rev 32141

Purely functional type inference.

haftmann [Wed, 22 Jul 2009 18:08:45 +0200] rev 32140

merged

haftmann [Wed, 22 Jul 2009 18:02:10 +0200] rev 32139

moved complete_lattice &c. into separate theory

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

merged

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

isabelle