Sun, 03 Oct 1999 15:54:04 +0200 | wenzelm | improved theory_source presentation; | changeset | files |
Sun, 03 Oct 1999 15:52:53 +0200 | wenzelm | export token_source; | changeset | files |
Sun, 03 Oct 1999 15:51:38 +0200 | wenzelm | added Space, Comment token kinds (keep actual text); | changeset | files |
Fri, 01 Oct 1999 20:41:58 +0200 | wenzelm | fixed no_qed; | changeset | files |
Fri, 01 Oct 1999 20:40:03 +0200 | wenzelm | added Isar/obtain.ML; | changeset | files |
Fri, 01 Oct 1999 20:39:40 +0200 | wenzelm | improved 'fix' / Skolem interfaces; | changeset | files |
Fri, 01 Oct 1999 20:38:50 +0200 | wenzelm | added 'obtain' command; | changeset | files |