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
kleing [Tue, 06 Mar 2007 05:31:23 +0100] rev 22415
find_theorems: moved with_dup into the brackets, i.e.
find_theorems (20 with_dups) "some term" ..