1 (* Title: collect all defitions for the program language
2 Author: Walther Neuper 100831
3 (c) due to copyright terms
4 *)
5
6 theory Language imports Script
7 uses ("../ProgLang/scrtools.sml")
8 begin
9
10 use "../ProgLang/scrtools.sml"
11
12 end