| Sun, 05 Jun 2011 20:15:47 +0200 | wenzelm | updated and re-unified classical rule declarations; | changeset | files |
| Sat, 04 Jun 2011 22:09:42 +0200 | wenzelm | moved/updated introduction to Classical Reasoner; | changeset | files |
| Sat, 04 Jun 2011 19:39:45 +0200 | wenzelm | tuned secref (still dangling); | changeset | files |
| Fri, 03 Jun 2011 22:39:23 +0200 | wenzelm | updated and re-unified material on simprocs; | changeset | files |
| Fri, 03 Jun 2011 21:32:48 +0200 | wenzelm | removed some old stuff; | changeset | files |
| Thu, 02 Jun 2011 14:11:24 +0200 | wenzelm | tuned headings; | changeset | files |