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.
Mon, 21 Jul 2003 08:52:06 +0200 *** empty log message ***
skalberg [Mon, 21 Jul 2003 08:52:06 +0200] rev 14117
*** empty log message ***
Sat, 19 Jul 2003 17:35:15 +0200 Added optional theorem names for the constant definitions added during
skalberg [Sat, 19 Jul 2003 17:35:15 +0200] rev 14116
Added optional theorem names for the constant definitions added during specification.
Thu, 17 Jul 2003 15:23:20 +0200 Added package for definition by specification.
skalberg [Thu, 17 Jul 2003 15:23:20 +0200] rev 14115
Added package for definition by specification.
Wed, 16 Jul 2003 12:09:41 +0200 tidying
paulson [Wed, 16 Jul 2003 12:09:41 +0200] rev 14114
tidying
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip