Mon, 23 Jul 2001 13:50:23 +0200 | oheimb | slight improvement for iff attribute | changeset | files |
Sun, 22 Jul 2001 21:31:37 +0200 | wenzelm | replaced SOME by THE; | changeset | files |
Sun, 22 Jul 2001 21:31:00 +0200 | wenzelm | the_equality [intro]; | changeset | files |
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 |