| Sun, 05 Jun 2011 20:15:47 +0200 | wenzelm | updated and re-unified classical rule declarations; | file | diff | annotate |
| Sat, 04 Jun 2011 22:09:42 +0200 | wenzelm | moved/updated introduction to Classical Reasoner; | file | diff | annotate |
| Fri, 03 Jun 2011 22:39:23 +0200 | wenzelm | updated and re-unified material on simprocs; | file | diff | annotate |