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>
Thu, 17 Dec 2020 09:10:30 +0100
changeset 60134 85ce6e27e130
parent 60075 0a0a09189939
child 60166 7d6f46b7fc10
permissions -rw-r--r--
step 4.2: writeln at calling Output.report uncover some of proof handling
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