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/Knowledge/Base_Tools.thy
author Walther Neuper <wneuper@ist.tugraz.at>
Tue, 03 Apr 2018 14:50:58 +0200
changeset 59424 406681ebe781
child 59591 a2b0b338d966
permissions -rw-r--r--
partial_function: shift respective thys to ProgLang

Note: 1st step towards more automation in programming:
auto. generation of rls, etc involves also these thys.
wneuper@59424 
     1
 
theory Base_Tools
wneuper@59424 
     2
 
imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"
wneuper@59424 
     3
 
begin
wneuper@59424 
     4
 
end
wneuper/isa