nipkow [Fri, 15 Jul 1994 14:04:28 +0200] rev 96
Lots of simplifications
nipkow [Fri, 15 Jul 1994 13:53:18 +0200] rev 95
added val eq_sym_conv = prover "(x=y) = (y=x)";
lcp [Tue, 12 Jul 1994 16:34:45 +0200] rev 94
fixed indentation
nipkow [Fri, 08 Jul 1994 17:39:02 +0200] rev 93
Integrated PL0.thy into PL.thy
nipkow [Fri, 08 Jul 1994 17:22:58 +0200] rev 92
Hidden dtK and Impossible with a "local" clause
clasohm [Fri, 08 Jul 1994 12:01:55 +0200] rev 91
added mixfix annotations to constructor declarations
clasohm [Wed, 29 Jun 1994 12:04:04 +0200] rev 90
added parentheses made necessary by change of constrain's precedence
lcp [Fri, 24 Jun 1994 15:11:39 +0200] rev 89
HOL/Nat/less_asym: renamed from less_anti_sym
lcp [Fri, 24 Jun 1994 15:10:13 +0200] rev 88
HOL/WF/wf_asym: renamed from wf_anti_sym
clasohm [Mon, 20 Jun 1994 14:52:40 +0200] rev 87
added prefix to name of induct axiom