| Wed, 26 Mar 2008 22:39:58 +0100 | wenzelm | updated generated file; | changeset | files |
| Wed, 26 Mar 2008 22:39:57 +0100 | wenzelm | renamed ML_Context.>> to Context.>> (again); | changeset | files |
| Wed, 26 Mar 2008 22:38:55 +0100 | wenzelm | converted legacy ML scripts; | changeset | files |
| Wed, 26 Mar 2008 22:38:17 +0100 | huffman | rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite | changeset | files |
| Wed, 26 Mar 2008 21:05:58 +0100 | huffman | fix spelling errors | changeset | files |
| Wed, 26 Mar 2008 20:14:38 +0100 | wenzelm | removed obsolete pass, save; | changeset | files |
| Wed, 26 Mar 2008 20:14:37 +0100 | wenzelm | use_thy: removed obsolete ML_Context.save; | changeset | files |
| Wed, 26 Mar 2008 20:14:36 +0100 | wenzelm | removed obsolete use_thy (cf. isar_syn.ML); | changeset | files |