| 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 |