| Mon, 06 Jun 2011 17:51:14 +0200 | wenzelm | removed obsolete material (superseded by implementation manual); | changeset | files |
| Sun, 05 Jun 2011 22:09:04 +0200 | wenzelm | removed somewhat low-level stuff (cf. attribute "swapped" in isar-ref); | changeset | files |
| Sun, 05 Jun 2011 22:02:54 +0200 | wenzelm | updated and re-unified classical proof methods; | changeset | files |
| Sun, 05 Jun 2011 20:23:05 +0200 | wenzelm | tuned; | changeset | files |
| 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 |