Tue, 02 Oct 2007 22:23:28 +0200 | wenzelm | tuned internal inductive interface; | changeset | files |
Tue, 02 Oct 2007 22:23:26 +0200 | wenzelm | tuned internal interfaces: flags record, added kind for results; | changeset | files |
Tue, 02 Oct 2007 22:23:24 +0200 | wenzelm | inductive: mark internal theorems as Thm.internalK; | changeset | files |
Tue, 02 Oct 2007 19:05:20 +0200 | wenzelm | tuned; | changeset | files |