isabelle: Changelog

paulson [Thu, 24 Jul 2003 16:41:40 +0200] rev 14128

header comment

paulson [Thu, 24 Jul 2003 16:37:04 +0200] rev 14127

new theory NatPair of the injection from nat*nat -> nat

paulson [Thu, 24 Jul 2003 16:36:29 +0200] rev 14126

Tidying and replacement of some axioms by specifications

paulson [Thu, 24 Jul 2003 16:35:51 +0200] rev 14125

tidied

paulson [Tue, 22 Jul 2003 11:05:02 +0200] rev 14124

Added some regression testing for simprocs

paulson [Tue, 22 Jul 2003 11:03:42 +0200] rev 14123

fixed simprocs

skalberg [Mon, 21 Jul 2003 17:27:23 +0200] rev 14122

Added handling of meta implication and meta quantification.

skalberg [Mon, 21 Jul 2003 16:19:34 +0200] rev 14121

Added handling of free variables (provided they are of sort HOL.type).

paulson [Mon, 21 Jul 2003 13:02:07 +0200] rev 14120

Tidied some examples

skalberg [Mon, 21 Jul 2003 10:58:16 +0200] rev 14119

Added the specification command.

isabelle