wenzelm [Thu, 09 Oct 1997 15:03:06 +0200] rev 3820
fixed infix syntax;
wenzelm [Thu, 09 Oct 1997 15:01:11 +0200] rev 3819
added TLA stuff;
wenzelm [Thu, 09 Oct 1997 15:00:41 +0200] rev 3818
fixed oracle;
wenzelm [Thu, 09 Oct 1997 14:59:36 +0200] rev 3817
removed declIffOracle;
wenzelm [Thu, 09 Oct 1997 14:56:52 +0200] rev 3816
changed preference order of prtab entries;
wenzelm [Thu, 09 Oct 1997 14:55:24 +0200] rev 3815
fixed infix syntax;
wenzelm [Thu, 09 Oct 1997 14:55:05 +0200] rev 3814
improved oracles: named, many per theory;
name spaces: thmK, oracleK;
wenzelm [Thu, 09 Oct 1997 14:53:31 +0200] rev 3813
improved oracle: name;
optional begin after thy header, with warning;
wenzelm [Thu, 09 Oct 1997 14:52:36 +0200] rev 3812
fixed get_axiom, invoke_oracle;
improved Oracle deriv;
wenzelm [Thu, 09 Oct 1997 14:51:10 +0200] rev 3811
print_theory: added oracles;
wenzelm [Thu, 09 Oct 1997 14:50:39 +0200] rev 3810
tuned exports;
tuned add_space;
tuned print_sg;
fixed "op ==>" syntax;
wenzelm [Thu, 09 Oct 1997 14:39:44 +0200] rev 3809
fixed axiom names;