Skip to content
Snippets Groups Projects
Commit 232268bc authored by Edward Sabinus's avatar Edward Sabinus
Browse files

adopted Create_And_Test_Parsers.bat to new project name; Added alternative... 

adopted Create_And_Test_Parsers.bat to new project name; Added alternative Tree form: like functions in Haskell; works currently with classic trees; TODO: implement function trees BUG: need seperator between each function tree (like end of lemma or inductioncase)
parent 307e5cf7
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4836 additions and 197 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment