| Thu, 28 Sep 2006 23:43:02 +0200 | wenzelm | obsolete; | changeset | files |
| Thu, 28 Sep 2006 23:43:00 +0200 | wenzelm | added share_data; | changeset | files |
| Thu, 28 Sep 2006 23:42:59 +0200 | wenzelm | Sign.add_consts_authentic; | changeset | files |
| Thu, 28 Sep 2006 23:42:56 +0200 | wenzelm | consts: syntax consts only for actual syntax; | changeset | files |
| Thu, 28 Sep 2006 23:42:55 +0200 | wenzelm | added share_data (dummy); | changeset | files |
| Thu, 28 Sep 2006 23:42:53 +0200 | wenzelm | removed obsolete HOLCF.ML; | changeset | files |
| Thu, 28 Sep 2006 23:42:50 +0200 | wenzelm | ResAtpset.get_atpset; | changeset | files |
| Thu, 28 Sep 2006 23:42:49 +0200 | wenzelm | removed legacy code; | changeset | files |
| Thu, 28 Sep 2006 23:42:47 +0200 | wenzelm | tuned definitions/proofs; | changeset | files |
| Thu, 28 Sep 2006 23:42:45 +0200 | wenzelm | proper use of float.ML; | changeset | files |
| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | changeset | files |
| Thu, 28 Sep 2006 23:42:39 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:32 +0200 | wenzelm | removed obsolete Real/document/root.tex; | changeset | files |