Quot/ROOT.ML
changeset 715 3d7a9d4d2bb6
parent 700 91b079db7380
child 720 e68f501f76d0
equal deleted inserted replaced
714:37f7dc85b61b 715:3d7a9d4d2bb6
     6     "Examples/FSet2",
     6     "Examples/FSet2",
     7     "Examples/IntEx",
     7     "Examples/IntEx",
     8     "Examples/IntEx2",
     8     "Examples/IntEx2",
     9     "Examples/LFex",
     9     "Examples/LFex",
    10     "Examples/LamEx",
    10     "Examples/LamEx",
    11     "Examples/Larry"];
    11     "Examples/LarryDatatype"];