Thu, 22 Apr 1999 13:04:50 +0200 | wenzelm | recdef (TFL) now requires theory Recdef; | changeset | files |
Thu, 22 Apr 1999 13:04:23 +0200 | wenzelm | recdef requires theory Recdef; | changeset | files |
Thu, 22 Apr 1999 13:03:46 +0200 | wenzelm | tuned; | changeset | files |