Thu, 24 Jul 2003 16:37:04 +0200 new theory NatPair of the injection from nat*nat -> nat
paulson [Thu, 24 Jul 2003 16:37:04 +0200] rev 14127
new theory NatPair of the injection from nat*nat -> nat
Thu, 24 Jul 2003 16:36:29 +0200 Tidying and replacement of some axioms by specifications
paulson [Thu, 24 Jul 2003 16:36:29 +0200] rev 14126
Tidying and replacement of some axioms by specifications
Thu, 24 Jul 2003 16:35:51 +0200 tidied
paulson [Thu, 24 Jul 2003 16:35:51 +0200] rev 14125
tidied
Tue, 22 Jul 2003 11:05:02 +0200 Added some regression testing for simprocs
paulson [Tue, 22 Jul 2003 11:05:02 +0200] rev 14124
Added some regression testing for simprocs
Tue, 22 Jul 2003 11:03:42 +0200 fixed simprocs
paulson [Tue, 22 Jul 2003 11:03:42 +0200] rev 14123
fixed simprocs
Mon, 21 Jul 2003 17:27:23 +0200 Added handling of meta implication and meta quantification.
skalberg [Mon, 21 Jul 2003 17:27:23 +0200] rev 14122
Added handling of meta implication and meta quantification.
Mon, 21 Jul 2003 16:19:34 +0200 Added handling of free variables (provided they are of sort HOL.type).
skalberg [Mon, 21 Jul 2003 16:19:34 +0200] rev 14121
Added handling of free variables (provided they are of sort HOL.type).
Mon, 21 Jul 2003 13:02:07 +0200 Tidied some examples
paulson [Mon, 21 Jul 2003 13:02:07 +0200] rev 14120
Tidied some examples
Mon, 21 Jul 2003 10:58:16 +0200 Added the specification command.
skalberg [Mon, 21 Jul 2003 10:58:16 +0200] rev 14119
Added the specification command.
Mon, 21 Jul 2003 08:53:56 +0200 Changed bstring argument to xstring.
skalberg [Mon, 21 Jul 2003 08:53:56 +0200] rev 14118
Changed bstring argument to xstring.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip