wneuper/isa: src/Tools/isac/ProgLang/ProgLang.thy@f08422eeef24

src/Tools/isac/ProgLang/ProgLang.thy

author	Walther Neuper <neuper@ist.tugraz.at>
	Thu, 21 Nov 2013 11:17:42 +0100
changeset 55275	f08422eeef24
parent 48880	ea0c337066d9
child 59253	f0bb15a046ae
permissions	-rw-r--r--

Isabelle2013 --> 2013-1: remove left-over legacy "uses" "axiom"

and pushed updated hooks from Isabelle to isac

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

     2    Author: Walther Neuper 100831

     3    (c) due to copyright terms

     4  *)

     6 theory ProgLang imports Script

     7 begin

     9 ML_file "~~/src/Tools/isac/ProgLang/scrtools.sml"

    11 end

wneuper/isa