Thu, 31 May 2007 15:23:35 +0200 | urbanc | tuned the proof | changeset | files |
Thu, 31 May 2007 14:47:20 +0200 | urbanc | introduced symmetric variants of the lemmas for alpha-equivalence | changeset | files |
Thu, 31 May 2007 14:34:09 +0200 | wenzelm | proper loading of ML files; | changeset | files |
Thu, 31 May 2007 14:34:07 +0200 | wenzelm | removed obsolete IFOL.thy/FOL.thy values; | changeset | files |
Thu, 31 May 2007 14:34:06 +0200 | wenzelm | proper loading of ML files; | changeset | files |
Thu, 31 May 2007 14:34:05 +0200 | wenzelm | tuned header; | changeset | files |