wneuper/isa: src/Tools/isac/ProgLang/Language.thy@b772eb34c16c

src/Tools/isac/ProgLang/Language.thy

author	Walther Neuper <neuper@ist.tugraz.at>
	Tue, 01 Mar 2011 15:23:59 +0100
branch	decompose-isar
changeset 41905	b772eb34c16c
parent 37966	78938fc8e022
permissions	-rw-r--r--

intermed.update to Isabelle2011: test/../syntax added

present problem: test/Tools/isac/ADDTESTS/filed-depend does not update

     1 (* Title:  collect all defitions for the program language

     2    Author: Walther Neuper 100831

     3    (c) due to copyright terms

     4  *)

     6 theory Language imports Script

     7   uses ("../ProgLang/scrtools.sml")

     8 begin

    10 use "../ProgLang/scrtools.sml"

    12 end

wneuper/isa