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 |