| Wed, 14 Sep 1994 16:02:06 +0200 | wenzelm | now uses Sign.const_type; | changeset | files |
| Wed, 14 Sep 1994 14:49:56 +0200 | wenzelm | letrec syntax: replaced "id" by "idt"; | changeset | files |
| Tue, 13 Sep 1994 11:39:49 +0200 | lcp | updated for Isabelle94 | changeset | files |
| Tue, 13 Sep 1994 11:19:38 +0200 | lcp | now uses find to locate .thy.ML files everywhere | changeset | files |
| Tue, 13 Sep 1994 10:42:34 +0200 | lcp | updated the identifier "version" | changeset | files |
| Tue, 13 Sep 1994 10:26:24 +0200 | lcp | minor updates | changeset | files |
| Mon, 12 Sep 1994 13:20:07 +0200 | lcp | New Makefile for Logics Manual | changeset | files |