1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/Frontend/Frontend.thy Tue Mar 01 15:23:59 2011 +0100
1.3 @@ -0,0 +1,17 @@
1.4 +(* Title: collect all defitions for the Frontend
1.5 + Author: Walther Neuper 110226
1.6 + (c) due to copyright terms
1.7 + *)
1.8 +
1.9 +theory Frontend imports xmlsrc
1.10 + uses ("messages.sml") ("states.sml") ("interface.sml")
1.11 + ("../print_exn_G.sml")
1.12 +begin
1.13 +
1.14 + use "messages.sml"
1.15 + use "states.sml"
1.16 + use "interface.sml"
1.17 +
1.18 + use "../print_exn_G.sml"
1.19 +
1.20 +end
1.21 \ No newline at end of file