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