Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
ROOTS
author Walther Neuper <walther.neuper@jku.at>
Tue, 15 Dec 2020 15:10:38 +0100
changeset 60132 2f94484d6637
parent 60075 0a0a09189939
child 60166 7d6f46b7fc10
permissions -rw-r--r--
step 4: use Naproche as a model for checking input

note: ParseC.problem (without "Problem") replaced ParseC.problem_headline
wenzelm@49872 
     1
 
src/Pure
wenzelm@49872 
     2
 
src/FOL
wenzelm@49872 
     3
 
src/HOL
wenzelm@49872 
     4
 
src/ZF
wenzelm@49872 
     5
 
src/CCL
wenzelm@49872 
     6
 
src/CTT
wenzelm@49872 
     7
 
src/Cube
wenzelm@49872 
     8
 
src/FOLP
wenzelm@49872 
     9
 
src/LCF
wenzelm@49872 
    10
 
src/Sequents
wenzelm@50000 
    11
 
src/Doc
wneuper@59105 
    12
 
src/Tools
walther@60073 
    13
 
src/Tools/isac
walther@60075 
    14
 
test/Tools/isac/ADDTESTS/session-get_theory
walther@60075 
    15
 
test/Tools/isac/ADDTESTS/new-session
wneuper/isa