| Thu, 30 Aug 2007 21:44:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 30 Aug 2007 21:43:31 +0200 | nipkow | added constant sgn | changeset | files |
| Thu, 30 Aug 2007 21:43:08 +0200 | nipkow | added lemma | changeset | files |
| Thu, 30 Aug 2007 17:09:02 +0200 | wenzelm | added some more entries; | changeset | files |
| Thu, 30 Aug 2007 15:04:50 +0200 | wenzelm | turned type_check into separate typ/term_check; | changeset | files |
| Thu, 30 Aug 2007 15:04:49 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 30 Aug 2007 15:04:48 +0200 | wenzelm | moved type_mode to type.ML; | changeset | files |