2000-11-10 agoFOL_basic_ss: simprocs moved to FOL_ss;
wenzelm [Fri, 10 Nov 2000 19:01:33 +0100] rev 10431
FOL_basic_ss: simprocs moved to FOL_ss;

2000-11-10 agoadded atomize_eq;
wenzelm [Fri, 10 Nov 2000 19:00:51 +0100] rev 10430
added atomize_eq;

2000-11-10 agoval atomize = thms "atomize'";
wenzelm [Fri, 10 Nov 2000 19:00:22 +0100] rev 10429
val atomize = thms "atomize'";

2000-11-10 ago> etc
nipkow [Fri, 10 Nov 2000 16:31:28 +0100] rev 10428
> etc

2000-11-10 agonew: > and >=
nipkow [Fri, 10 Nov 2000 16:26:44 +0100] rev 10427
new: > and >=

2000-11-10 agorule inversion
nipkow [Fri, 10 Nov 2000 15:05:09 +0100] rev 10426
rule inversion

2000-11-10 agoJMB -> JMPB. Email von Johannes Pfeifroth.
nipkow [Fri, 10 Nov 2000 09:17:54 +0100] rev 10425
JMB -> JMPB. Email von Johannes Pfeifroth.

2000-11-09 agoupdated;
wenzelm [Thu, 09 Nov 2000 21:38:30 +0100] rev 10424
updated;

2000-11-09 agofixed \title: convert "_" to "-";
wenzelm [Thu, 09 Nov 2000 21:38:00 +0100] rev 10423
fixed \title: convert "_" to "-";

2000-11-08 agotuned isabelle environment;
wenzelm [Wed, 08 Nov 2000 23:04:54 +0100] rev 10422
tuned isabelle environment;