author | clasohm |
Tue, 30 May 1995 11:02:50 +0200 | |
changeset 1135 | 4130371b5b2a |
parent 1134 | 5e9775c196e8 |
child 1136 | 3910c96551d1 |
--- a/src/Pure/Thy/ROOT.ML Mon May 29 15:04:27 1995 +0200 +++ b/src/Pure/Thy/ROOT.ML Tue May 30 11:02:50 1995 +0200 @@ -22,7 +22,6 @@ (* hide functors; saves space in PolyML *) functor ThyScanFun() = struct end; functor ThyParseFun() = struct end; -functor ThySynFun() = struct end; fun init_thy_reader () = use_string