isabelle: Changelog

wenzelm [Thu, 23 Jul 2009 16:43:31 +0200] rev 32144

use regular Display.string_of_thm_global;

wenzelm [Thu, 23 Jul 2009 16:09:50 +0200] rev 32143

tuned ML_OPTIONS;

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

isabelle