Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/IsacKnowledge/Atools.thy
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 24 Aug 2010 11:46:09 +0200
branchisac-update-Isa09-2
changeset 37944 18794c7f43e2
parent 37943 ab57fbfcfffd
child 37946 a28b5fc129b7
permissions -rw-r--r--
start of (re-?)organizing dependencies between isac's files

Current Error:
*** Theory loader: unresolved dependencies of theory "Typefix" on file(s):
"../Scripts/scrtools.sml", "../ME/mstools.sml", "../ME/ctree.sml", ....
*** At command "end" (line 43 of "/usr/local/isabisac/src/Tools/isac/IsacKnowledge/Typefix.thy") 
     1 (* Title:  tools for arithmetic

     2    Author: Walther Neuper 010308

     3    (c) due to copyright terms

     4 

     5 remove_thy"Atools";

     6 use_thy"IsacKnowledge/Atools";

     7 use_thy"IsacKnowledge/Isac";

     8 

     9 use_thy_only"IsacKnowledge/Atools";

    10 use_thy"IsacKnowledge/Isac";

    11 *)

    12 

    13 theory Atools imports Descript Typefix begin

    14 

    15 consts

    16 

    17   xxxxxxx :: "real => real"

    18 

    19 end
wneuper/isa