Thu, 20 Nov 1997 16:24:05 +0100 | wenzelm | $ISABELLE_HOME/src; | changeset | files |
Thu, 20 Nov 1997 15:48:32 +0100 | wenzelm | improved error msg; | changeset | files |
Thu, 20 Nov 1997 15:38:51 +0100 | wenzelm | removed old note; | changeset | files |
Thu, 20 Nov 1997 15:36:09 +0100 | wenzelm | adapted print methods; | changeset | files |
Thu, 20 Nov 1997 15:30:37 +0100 | wenzelm | improved theorems print method: transfer_sg; | changeset | files |
Thu, 20 Nov 1997 15:30:03 +0100 | wenzelm | init_data: improved print method; | changeset | files |
Thu, 20 Nov 1997 15:28:48 +0100 | wenzelm | removed data.ML (made part of sign.ML); | changeset | files |