| Sun, 22 Jul 2001 21:30:21 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 22 Jul 2001 21:30:05 +0200 | wenzelm | declare trans [trans] (*overridden in theory Calculation*); | changeset | files |
| Fri, 20 Jul 2001 22:02:45 +0200 | wenzelm | HOL: added "The"; | changeset | files |
| Fri, 20 Jul 2001 22:00:06 +0200 | wenzelm | private "myinv" (uses "The" instead of "Eps"); | changeset | files |
| Fri, 20 Jul 2001 21:59:11 +0200 | wenzelm | replaced "Eps" by "The"; | changeset | files |
| Fri, 20 Jul 2001 21:58:19 +0200 | wenzelm | HOL_ss: the_eq_trivial, the_sym_eq_trivial; | changeset | files |