| 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 |
| Wed, 26 Mar 2008 12:12:52 +0100 | kleing | use poly-cvs as name | changeset | files |
| Tue, 25 Mar 2008 22:12:02 +0100 | wenzelm | Functor NamedThmsFun: data is available to the user as dynamic fact; | changeset | files |