| Thu, 02 Feb 2006 12:52:19 +0100 | wenzelm | added concluding statements: Shows/Obtains; | changeset | files |
| Thu, 02 Feb 2006 12:52:18 +0100 | wenzelm | moved specific map_typ/term to sign.ML; | changeset | files |
| Thu, 02 Feb 2006 12:52:16 +0100 | wenzelm | added specific map_typ/term (from term.ML); | changeset | files |
| Thu, 02 Feb 2006 10:24:06 +0100 | krauss | Exporting recdef's hints for use by new recdef package | changeset | files |
| Thu, 02 Feb 2006 10:12:45 +0100 | ballarin | *_asms_of fixed. | changeset | files |
| Thu, 02 Feb 2006 02:02:00 +0100 | kleing | add 64bit atbroy98 platform | changeset | files |
| Wed, 01 Feb 2006 22:20:40 +0100 | wenzelm | updated; | changeset | files |