| author | Walther Neuper <neuper@ist.tugraz.at> |
| Tue, 01 Mar 2011 15:23:59 +0100 | |
| branch | decompose-isar |
| changeset 41905 | b772eb34c16c |
| child 48763 | 9b9936d79dbe |
| permissions | -rw-r--r-- |
1 (* Title: collect all defitions for the Frontend
2 Author: Walther Neuper 110226
3 (c) due to copyright terms
4 *)
6 theory Frontend imports xmlsrc
7 uses ("messages.sml") ("states.sml") ("interface.sml")
8 ("../print_exn_G.sml")
9 begin
11 use "messages.sml"
12 use "states.sml"
13 use "interface.sml"
15 use "../print_exn_G.sml"
17 end