Mon, 27 Feb 1995 17:11:25 +0100 Redefined arithmetic to suppress redundant leading 0s and 1s
lcp [Mon, 27 Feb 1995 17:11:25 +0100] rev 906
Redefined arithmetic to suppress redundant leading 0s and 1s renamed the infix 2239 to the constant Bcons, as numerals eliminate the need for the infix.
Mon, 27 Feb 1995 17:08:51 +0100 Added integer numerals (mostly due to Markus Wenzel)
lcp [Mon, 27 Feb 1995 17:08:51 +0100] rev 905
Added integer numerals (mostly due to Markus Wenzel) renamed the infix 2239 to the constant Bcons, as numerals eliminate the need for the infix.
Mon, 27 Feb 1995 17:06:19 +0100 Proved zadd_left_commute and zmult_left_commute to define
lcp [Mon, 27 Feb 1995 17:06:19 +0100] rev 904
Proved zadd_left_commute and zmult_left_commute to define zadd_ac and zmult_ac. Deleted add_cong, add_kill and add_left_commute_kill as unused. Defined zadd_simps, zminus_simps, zmult_simps and added them to integ_ss.
Mon, 27 Feb 1995 16:58:59 +0100 New shell script for finding orphan .ML files (those with no
lcp [Mon, 27 Feb 1995 16:58:59 +0100] rev 903
New shell script for finding orphan .ML files (those with no .thy file)
Fri, 24 Feb 1995 11:52:19 +0100 added ExcludeThm; cleaned up Makefile; fixed isalpha bug (replaced by isalnum)
clasohm [Fri, 24 Feb 1995 11:52:19 +0100] rev 902
added ExcludeThm; cleaned up Makefile; fixed isalpha bug (replaced by isalnum)
Fri, 17 Feb 1995 13:25:11 +0100 added check "length ts > 1" before printing ambiguity warning in infer_types
clasohm [Fri, 17 Feb 1995 13:25:11 +0100] rev 901
added check "length ts > 1" before printing ambiguity warning in infer_types
Thu, 16 Feb 1995 08:55:15 +0100 Improved test for looping rewrite rules.
nipkow [Thu, 16 Feb 1995 08:55:15 +0100] rev 900
Improved test for looping rewrite rules.
Wed, 15 Feb 1995 20:02:47 +0100 replaced pair_ss by prod_ss
regensbu [Wed, 15 Feb 1995 20:02:47 +0100] rev 899
replaced pair_ss by prod_ss
Wed, 08 Feb 1995 11:30:00 +0100 Improved check for looping conditional rewrite rules.
nipkow [Wed, 08 Feb 1995 11:30:00 +0100] rev 898
Improved check for looping conditional rewrite rules.
Tue, 07 Feb 1995 17:36:48 +0100 ID for the file
regensbu [Tue, 07 Feb 1995 17:36:48 +0100] rev 897
ID for the file
(0) -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip