Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Pure/Isar/README
changeset 60089 bf4b3b8420aa
parent 60088 9e6b0551cb9f
child 60090 2f9e601d9e07
equal deleted inserted replaced
60088:9e6b0551cb9f 60089:bf4b3b8420aa 
     4 
     4 
     5 ~~$ ls -l test/Pure/Isar/
 
     5 ~~$ ls -l test/Pure/Isar/
 
     6 Check_Outer_Syntax.thy    Survey on checked examples
 
     6 Check_Outer_Syntax.thy    Survey on checked examples
 
     7                           Decompose examples: ISAC :: diag, forthel :: thy_decl, spark_status :: diag
 
     7                           Decompose examples: ISAC :: diag, forthel :: thy_decl, spark_status :: diag
 
     8                           Outer_Syntax.command..spark_open_vcg :: thy_load
 
     8                           Outer_Syntax.command..spark_open_vcg :: thy_load
 
       
     9 Downto_Synchorinzed.thy   trace code down to storage of a proof
 
     9 Keyword_ISAC.thy          original from Makarius 2018
 
    10 Keyword_ISAC.thy          original from Makarius 2018
 
    10 Test_Parse_Isac.thy       definitions for keywords
 
    11 Test_Parse_Isac.thy       definitions for keywords
 
    11 ^^^^^^^^^^^^^^^^^^^|      Tools and Goals
 
    12 ^^^^^^^^^^^^^^^^^^^|      Tools and Goals
 
    12                    |      Stepwise extending parser: Problem headline .. Problem
 
    13                    |      Stepwise extending parser: Problem headline .. Problem
 
    13                    +----> part.cp --> ~~/src/Tools/isac/BridgeJEdit/parseC.sml
 
    14                    +----> part.cp --> ~~/src/Tools/isac/BridgeJEdit/parseC.sml
wneuper/isa