| Thu, 03 Aug 2000 00:41:07 +0200 | wenzelm | typ_no_norm; | changeset | files |
| Thu, 03 Aug 2000 00:34:22 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Aug 2000 19:40:14 +0200 | wenzelm | adapted deriv; | changeset | files |
| Wed, 02 Aug 2000 19:39:48 +0200 | wenzelm | derivations: maintain oracle flag; | changeset | files |
| Wed, 02 Aug 2000 19:38:33 +0200 | wenzelm | use oracle flag from derivation; | changeset | files |
| Wed, 02 Aug 2000 19:37:36 +0200 | wenzelm | rep_thm: 'der' field has additional bool for oracles; | changeset | files |
| Wed, 02 Aug 2000 17:54:55 +0200 | oheimb | minor corrections | changeset | files |
| Wed, 02 Aug 2000 16:49:26 +0200 | wenzelm | isa: do not touch_all_thys on startup; | changeset | files |
| Wed, 02 Aug 2000 16:07:32 +0200 | paulson | coercion "intify" to remove type constraints from integer algebraic laws | changeset | files |
| Wed, 02 Aug 2000 16:06:54 +0200 | paulson | tidying and speeding up proofs | changeset | files |
| Wed, 02 Aug 2000 13:17:11 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 02 Aug 2000 11:30:38 +0200 | nipkow | *** empty log message *** | changeset | files |