Tue, 25 Jul 2000 00:03:39 +0200 | wenzelm | lemmas [arith_split] = abs_split (*belongs to theory RealAbs*); | changeset | files |
Tue, 25 Jul 2000 00:02:52 +0200 | wenzelm | do nat pass theory value, but sg_ref; | changeset | files |
Tue, 25 Jul 2000 00:01:46 +0200 | wenzelm | avoid referencing thy value; | changeset | files |