| Tue, 28 Apr 2009 13:34:48 +0200 | haftmann | ephermal enforcement of import order to circumvent current problem in merging interpretation morphisms | changeset | files |
| Tue, 28 Apr 2009 13:34:46 +0200 | haftmann | local syntax for Ints; ephermal re-globalization | changeset | files |
| Tue, 28 Apr 2009 13:34:45 +0200 | haftmann | dropped reference to class recpower and lemma duplicate | changeset | files |
| Mon, 27 Apr 2009 19:44:30 -0700 | huffman | add proper support for bottom-patterns in fixrec package | changeset | files |