Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
tuned decompose-isar
authorThomas Leh <t.leh@gmx.at>
Thu, 28 Jul 2011 11:45:11 +0200
branchdecompose-isar
changeset 42227d98e8f3ddb6a
parent 42226 7fff709d1a72
child 42228 e53485dc1397
child 42229 c7fb6e2a40a9
tuned
test/Tools/isac/Test_Isac.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Jul 28 11:37:05 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Jul 28 11:45:11 2011 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4    use          "calcelems.sml"
     1.5    use "ProgLang/termC.sml"
     1.6    use "ProgLang/calculate.sml"
     1.7 -  use "ProgLang/rewrite.sml"        (*LINKS*)
     1.8 +  use "ProgLang/rewrite.sml"
     1.9  (*use "ProgLang/listC.sml"            2002*)
    1.10    use "ProgLang/scrtools.sml"
    1.11    use "ProgLang/tools.sml"
wneuper/isa