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
nipkow [Mon, 20 Jun 1994 12:05:03 +0200] rev 86
Datatype -> Datatype.ML
lcp [Fri, 17 Jun 1994 18:34:12 +0200] rev 85
HOL/Arith/add_left_commute: tidied
HOL/Arith/add_mult_distrib: DELETED DUPLICATE COPY
lcp [Fri, 17 Jun 1994 18:32:25 +0200] rev 84
HOL/HOL.ML/notE: tidied the proof
lcp [Fri, 17 Jun 1994 18:30:18 +0200] rev 83
HOL/List/map_append,map_compose: new