Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
tuned
authorWalther Neuper <neuper@ist.tugraz.at>
Mon, 17 Mar 2014 13:56:34 +0100
changeset 55407461d756cf5f8
parent 55406 91c726da590d
child 55408 5c162d90f969
tuned
src/Tools/isac/Knowledge/Build_Thydata.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/isac/Knowledge/Build_Thydata.thy	Mon Mar 17 13:53:19 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Build_Thydata.thy	Mon Mar 17 13:56:34 2014 +0100
     1.3 @@ -88,7 +88,7 @@
     1.4    (map (collect_isab "Isabelle") rlsthmsNOTisac) @
     1.5    collect_part       "IsacScripts" proglang_parent progthys'
     1.6  : (theID * thydata) list
     1.7 -
     1.8 +;
     1.9  thehier := the_hier (! thehier) thydata_list;
    1.10  (*tracing("----------------------------------\n" ^
    1.11  	"*** insert: not found ... IS OK : \n" ^
wneuper/isa