paulson [Wed, 07 Jun 2000 12:14:18 +0200] rev 9043
First round of changes, towards installation of simprocs
* replacing 0r by (0::real0
* better rewriting, especially pulling out signs in (-x)*y = - (x*y), etc.
paulson [Wed, 07 Jun 2000 12:07:07 +0200] rev 9042
Real/simproc.ML now removed
paulson [Wed, 07 Jun 2000 12:06:36 +0200] rev 9041
tidied
wenzelm [Tue, 06 Jun 2000 20:32:10 +0200] rev 9040
pair split: proper names of params;
wenzelm [Tue, 06 Jun 2000 20:31:43 +0200] rev 9039
added rule_params;
wenzelm [Tue, 06 Jun 2000 20:31:22 +0200] rev 9038
session.tex: nsert blank lines in order to guarantee new paragraphs
for each file (otherwise TeX would easily choke on large input);
wenzelm [Sun, 04 Jun 2000 21:55:58 +0200] rev 9037
opt_mixfix', opt_infix';
wenzelm [Sun, 04 Jun 2000 21:54:58 +0200] rev 9036
do not setmp Library.timing;
wenzelm [Sun, 04 Jun 2000 19:39:29 +0200] rev 9035
removed explicit terminator (";");
wenzelm [Sun, 04 Jun 2000 00:09:04 +0200] rev 9034
removed method;