berghofe [Sat, 10 Mar 2007 16:24:52 +0100] rev 22431
Adapted to changes in definition of SUP.
berghofe [Sat, 10 Mar 2007 16:23:28 +0100] rev 22430
Generalized version of SUP and INF (with index set).
berghofe [Sat, 10 Mar 2007 16:13:08 +0100] rev 22429
Eta-expanded codetype_hook to make SML/NJ happy.
paulson [Fri, 09 Mar 2007 13:10:22 +0100] rev 22428
First stab at reconstructing HO problems
haftmann [Fri, 09 Mar 2007 08:45:59 +0100] rev 22427
constant names now dependent on executable content
haftmann [Fri, 09 Mar 2007 08:45:58 +0100] rev 22426
resolved name clashes
haftmann [Fri, 09 Mar 2007 08:45:57 +0100] rev 22425
moved order on functions here
haftmann [Fri, 09 Mar 2007 08:45:55 +0100] rev 22424
*** empty log message ***
haftmann [Fri, 09 Mar 2007 08:45:53 +0100] rev 22423
dropped code datatype certificates
haftmann [Fri, 09 Mar 2007 08:45:50 +0100] rev 22422
stepping towards uniform lattice theory development in HOL
narboux [Tue, 06 Mar 2007 16:40:32 +0100] rev 22421
correct typo in latex output
urbanc [Tue, 06 Mar 2007 16:17:52 +0100] rev 22420
updated this file to the new infrastructure
krauss [Tue, 06 Mar 2007 15:49:25 +0100] rev 22419
fixed function package bug in the handling of multiple guards
urbanc [Tue, 06 Mar 2007 15:28:22 +0100] rev 22418
major update of the nominal package; there is now an infrastructure
for equivariance lemmas which eases definitions of nominal functions
kleing [Tue, 06 Mar 2007 08:09:43 +0100] rev 22417
fix wrong default for find_theorems