| Fri, 27 Apr 2007 18:50:27 +0200 | urbanc | tuned some proofs in CR and properly included CR_Takahashi | changeset | files |
| Fri, 27 Apr 2007 16:31:20 +0200 | wenzelm | removed obsolete induct/simp tactic; | changeset | files |
| Fri, 27 Apr 2007 14:21:23 +0200 | urbanc | alternative and much simpler proof for Church-Rosser of Beta-Reduction | changeset | files |
| Fri, 27 Apr 2007 05:53:37 +0200 | kleing | use correct email program for sunbroy2 | changeset | files |
| Thu, 26 Apr 2007 16:39:31 +0200 | wenzelm | removed legacy ML files; | changeset | files |
| Thu, 26 Apr 2007 16:39:14 +0200 | wenzelm | eliminated unnamed infixes; | changeset | files |
| Thu, 26 Apr 2007 16:39:11 +0200 | wenzelm | added header; | changeset | files |
| Thu, 26 Apr 2007 16:39:10 +0200 | wenzelm | added header; | changeset | files |
| Thu, 26 Apr 2007 16:24:13 +0200 | haftmann | added | changeset | files |
| Thu, 26 Apr 2007 15:42:04 +0200 | wenzelm | removed lagacy ML files; | changeset | files |
| Thu, 26 Apr 2007 15:41:49 +0200 | wenzelm | updated; | changeset | files |
| Thu, 26 Apr 2007 14:25:37 +0200 | wenzelm | eliminated unnamed infixes; | changeset | files |
| Thu, 26 Apr 2007 14:24:14 +0200 | wenzelm | renamed some old names Theory.xxx to Sign.xxx; | changeset | files |
| Thu, 26 Apr 2007 14:24:13 +0200 | wenzelm | eliminated unnamed infixes; | changeset | files |