src/CTT/ROOT.ML
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-10-22 clasohm 1993-10-22 changes for new Readthy
1993-09-16 clasohm 1993-09-16 Initial revision