Wed, 06 Jul 1994 11:53:30 +0200 clasohm changed comment for const_name
Wed, 06 Jul 1994 11:36:00 +0200 wenzelm changed comment only;
Fri, 01 Jul 1994 11:10:31 +0200 clasohm rewritec now uses trace_thm for it's "rewrite rule from different theory"
Fri, 01 Jul 1994 11:04:12 +0200 clasohm changed syntax of datatype declaration
Fri, 01 Jul 1994 11:03:42 +0200 clasohm replaced extend_theory by new add_* functions;
Wed, 29 Jun 1994 12:13:03 +0200 clasohm added parentheses made necessary by new constrain precedence
Wed, 29 Jun 1994 12:03:41 +0200 clasohm added parentheses made necessary by change of constrain's precedence
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip