| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | tuned | changeset | files |
| Thu, 09 Jul 2009 22:48:12 +0200 | wenzelm | renamed structure TermSubst to Term_Subst; | changeset | files |
| Thu, 09 Jul 2009 22:36:11 +0200 | wenzelm | Sorttab in Pure; | changeset | files |
| Thu, 09 Jul 2009 22:13:19 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |
| Thu, 09 Jul 2009 22:09:58 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |
| Thu, 09 Jul 2009 22:04:10 +0200 | wenzelm | merged | changeset | files |
| Thu, 09 Jul 2009 22:02:24 +0200 | wenzelm | recovered some proofs broken in 0314441a53a6; | changeset | files |