| Fri, 07 Oct 2005 22:59:23 +0200 | wenzelm | removed obsolete dummy_pat_tr; | changeset | files |
| Fri, 07 Oct 2005 22:59:22 +0200 | wenzelm | Term.absdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:21 +0200 | wenzelm | removed obsolete ex/Tuple.thy; | changeset | files |