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
kleing [Tue, 06 Mar 2007 05:32:14 +0100] rev 22416
document find_theorems syntax change