| Tue, 28 Apr 2009 15:50:29 +0200 | haftmann | reorganization of power lemmas | changeset | files |
| Tue, 28 Apr 2009 15:50:29 +0200 | haftmann | collected square lemmas in Nat_Numeral | changeset | files |
| Tue, 28 Apr 2009 18:42:26 +0200 | haftmann | Symbol.name_of and Name.desymbolize | changeset | files |
| Tue, 28 Apr 2009 13:34:48 +0200 | haftmann | prevent potential failure | changeset | files |
| 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 |