Fri, 15 Jun 2007 15:10:32 +0200 | nipkow | made divide_self a simp rule | changeset | files |
Fri, 15 Jun 2007 09:10:06 +0200 | nipkow | Removed thunk from Fun | changeset | files |
Fri, 15 Jun 2007 09:09:06 +0200 | nipkow | Church numerals added | changeset | files |
Thu, 14 Jun 2007 23:04:40 +0200 | wenzelm | method assumption: uniform treatment of prems as legacy feature; | changeset | files |
Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | changeset | files |
Thu, 14 Jun 2007 23:04:36 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |