Fri, 09 Mar 2007 08:45:53 +0100 dropped code datatype certificates
haftmann [Fri, 09 Mar 2007 08:45:53 +0100] rev 22423
dropped code datatype certificates
Fri, 09 Mar 2007 08:45:50 +0100 stepping towards uniform lattice theory development in HOL
haftmann [Fri, 09 Mar 2007 08:45:50 +0100] rev 22422
stepping towards uniform lattice theory development in HOL
Tue, 06 Mar 2007 16:40:32 +0100 correct typo in latex output
narboux [Tue, 06 Mar 2007 16:40:32 +0100] rev 22421
correct typo in latex output
Tue, 06 Mar 2007 16:17:52 +0100 updated this file to the new infrastructure
urbanc [Tue, 06 Mar 2007 16:17:52 +0100] rev 22420
updated this file to the new infrastructure
Tue, 06 Mar 2007 15:49:25 +0100 fixed function package bug in the handling of multiple guards
krauss [Tue, 06 Mar 2007 15:49:25 +0100] rev 22419
fixed function package bug in the handling of multiple guards
Tue, 06 Mar 2007 15:28:22 +0100 major update of the nominal package; there is now an infrastructure
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
Tue, 06 Mar 2007 08:09:43 +0100 fix wrong default for find_theorems
kleing [Tue, 06 Mar 2007 08:09:43 +0100] rev 22417
fix wrong default for find_theorems
Tue, 06 Mar 2007 05:32:14 +0100 document find_theorems syntax change
kleing [Tue, 06 Mar 2007 05:32:14 +0100] rev 22416
document find_theorems syntax change
Tue, 06 Mar 2007 05:31:23 +0100 find_theorems: moved with_dup into the brackets, i.e.
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" ..
Tue, 06 Mar 2007 05:09:53 +0100 an O(n log n) version of removing duplicates
kleing [Tue, 06 Mar 2007 05:09:53 +0100] rev 22414
an O(n log n) version of removing duplicates
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip