1994-07-01 agoreplaced extend_theory by new add_* functions;
clasohm [Fri, 01 Jul 1994 11:03:42 +0200] rev 444
replaced extend_theory by new add_* functions;
changed syntax of datatype declaration

1994-06-29 agoadded parentheses made necessary by new constrain precedence
clasohm [Wed, 29 Jun 1994 12:13:03 +0200] rev 443
added parentheses made necessary by new constrain precedence

1994-06-29 agoadded parentheses made necessary by change of constrain's precedence
clasohm [Wed, 29 Jun 1994 12:03:41 +0200] rev 442
added parentheses made necessary by change of constrain's precedence

1994-06-29 agochanged precedence of constrain to [4, 0], 3
clasohm [Wed, 29 Jun 1994 12:01:17 +0200] rev 441
changed precedence of constrain to [4, 0], 3

1994-06-24 agoFOL/FOL.ML/excluded_middle_tac: new
lcp [Fri, 24 Jun 1994 13:01:53 +0200] rev 440
FOL/FOL.ML/excluded_middle_tac: new

1994-06-24 agoPure/tactic/subgoals_tac: new (moved from ZF/Order.ML)
lcp [Fri, 24 Jun 1994 10:45:02 +0200] rev 439
Pure/tactic/subgoals_tac: new (moved from ZF/Order.ML)

1994-06-23 agominor tidying up (ordered rewriting in Integ.ML)
lcp [Thu, 23 Jun 1994 17:52:58 +0200] rev 438
minor tidying up (ordered rewriting in Integ.ML)

1994-06-23 agomodifications for cardinal arithmetic
lcp [Thu, 23 Jun 1994 17:38:12 +0200] rev 437
modifications for cardinal arithmetic

1994-06-23 agoSara\'s perl script for renaming theory files
lcp [Thu, 23 Jun 1994 16:44:57 +0200] rev 436
Sara\'s perl script for renaming theory files

1994-06-21 agoAddition of cardinals and order types, various tidying
lcp [Tue, 21 Jun 1994 17:20:34 +0200] rev 435
Addition of cardinals and order types, various tidying