| Thu, 17 May 2007 22:37:34 +0200 | krauss | added pointer to new Unification theory | changeset | files |
| Thu, 17 May 2007 22:33:41 +0200 | krauss | Added unification case study (using new function package) | changeset | files |
| Thu, 17 May 2007 21:51:32 +0200 | huffman | avoid using redundant lemmas from RealDef.thy | changeset | files |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | changeset | files |