--- a/src/HOL/TLA/Stfun.thy Fri Oct 05 23:58:17 2001 +0200 +++ b/src/HOL/TLA/Stfun.thy Fri Oct 05 23:58:52 2001 +0200 @@ -61,5 +61,3 @@ unit_base "basevars (v::unit stfun)" end - -ML