Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
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
neuper@41943 
     1
 
(* Title:  collect all defitions for the program language
neuper@41943 
     2
 
   Author: Walther Neuper 100831
neuper@41943 
     3
 
   (c) due to copyright terms
neuper@41943 
     4
 
 *)
neuper@41943 
     5
 






neuper@41943


     6


theory ProgLang imports Script







neuper@41943


     7


begin







neuper@41943


     8








neuper@55275


     9


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







neuper@41943


    10








neuper@48880


    11


end                       












wneuper/isa