Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
afp-repo
#957
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merge from AFP-2016-1
added timeout for Propositional_Proof_Systems
website update
new entry: Propositional_Proof_Systems
missing chapter AFP
new entry: PSemigroupsConvolution
Changeset
8074:abf93ae658cc
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
merge from AFP-2016-1
Changeset
8073:057a26640a08
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
added timeout for Propositional_Proof_Systems
The file was modified
thys/Propositional_Proof_Systems/ROOT
(diff)
Changeset
8072:469e23eb74d1
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
website update
The file was added
web/entries/Propositional_Proof_Systems.shtml
The file was modified
metadata/metadata
(diff)
The file was modified
web/index.shtml
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.shtml
(diff)
The file was modified
web/topics.shtml
(diff)
Changeset
8071:8ae990a0d058
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
new entry: Propositional_Proof_Systems
The file was added
thys/Propositional_Proof_Systems/CNF.thy
The file was added
thys/Propositional_Proof_Systems/CNF_Formulas.thy
The file was added
thys/Propositional_Proof_Systems/CNF_Formulas_Sema.thy
The file was added
thys/Propositional_Proof_Systems/CNF_Sema.thy
The file was added
thys/Propositional_Proof_Systems/CNF_To_Formula.thy
The file was added
thys/Propositional_Proof_Systems/Compactness.thy
The file was added
thys/Propositional_Proof_Systems/Compactness_Consistency.thy
The file was added
thys/Propositional_Proof_Systems/Consistency.thy
The file was added
thys/Propositional_Proof_Systems/Formulas.thy
The file was added
thys/Propositional_Proof_Systems/HC.thy
The file was added
thys/Propositional_Proof_Systems/HCSC.thy
The file was added
thys/Propositional_Proof_Systems/HCSCND.thy
The file was added
thys/Propositional_Proof_Systems/HC_Compl_Consistency.thy
The file was added
thys/Propositional_Proof_Systems/LSC.thy
The file was added
thys/Propositional_Proof_Systems/LSC_Resolution.thy
The file was added
thys/Propositional_Proof_Systems/MiniFormulas.thy
The file was added
thys/Propositional_Proof_Systems/MiniFormulas_Sema.thy
The file was added
thys/Propositional_Proof_Systems/MiniSC.thy
The file was added
thys/Propositional_Proof_Systems/MiniSC_Craig.thy
The file was added
thys/Propositional_Proof_Systems/MiniSC_HC.thy
The file was added
thys/Propositional_Proof_Systems/ND.thy
The file was added
thys/Propositional_Proof_Systems/NDHC.thy
The file was added
thys/Propositional_Proof_Systems/ND_Compl_SC.thy
The file was added
thys/Propositional_Proof_Systems/ND_Compl_Truthtable.thy
The file was added
thys/Propositional_Proof_Systems/ND_Compl_Truthtable_Compact.thy
The file was added
thys/Propositional_Proof_Systems/ND_FiniteAssms.thy
The file was added
thys/Propositional_Proof_Systems/ND_Sound.thy
The file was added
thys/Propositional_Proof_Systems/ROOT
The file was added
thys/Propositional_Proof_Systems/Resolution.thy
The file was added
thys/Propositional_Proof_Systems/Resolution_Compl.thy
The file was added
thys/Propositional_Proof_Systems/Resolution_Compl_Consistency.thy
The file was added
thys/Propositional_Proof_Systems/Resolution_Compl_SC_Full.thy
The file was added
thys/Propositional_Proof_Systems/Resolution_Compl_SC_Small.thy
The file was added
thys/Propositional_Proof_Systems/Resolution_Sound.thy
The file was added
thys/Propositional_Proof_Systems/SC.thy
The file was added
thys/Propositional_Proof_Systems/SCND.thy
The file was added
thys/Propositional_Proof_Systems/SC_Compl_Consistency.thy
The file was added
thys/Propositional_Proof_Systems/SC_Cut.thy
The file was added
thys/Propositional_Proof_Systems/SC_Depth.thy
The file was added
thys/Propositional_Proof_Systems/SC_Depth_Limit.thy
The file was added
thys/Propositional_Proof_Systems/SC_Gentzen.thy
The file was added
thys/Propositional_Proof_Systems/SC_Sema.thy
The file was added
thys/Propositional_Proof_Systems/Sema.thy
The file was added
thys/Propositional_Proof_Systems/Sema_Craig.thy
The file was added
thys/Propositional_Proof_Systems/Substitution.thy
The file was added
thys/Propositional_Proof_Systems/Substitution_Sema.thy
The file was added
thys/Propositional_Proof_Systems/Tseytin.thy
The file was added
thys/Propositional_Proof_Systems/Tseytin_Sema.thy
The file was added
thys/Propositional_Proof_Systems/document/fig_sema.tex
The file was added
thys/Propositional_Proof_Systems/document/fig_tran.tex
The file was added
thys/Propositional_Proof_Systems/document/root.bib
The file was added
thys/Propositional_Proof_Systems/document/root.tex
The file was added
thys/Propositional_Proof_Systems/overview.sh
The file was modified
thys/ROOTS
(diff)
Changeset
8070:3e4b1a448754
by
nipkow
:
missing chapter AFP
The file was modified
thys/PSemigroupsConvolution/ROOT
(diff)
Changeset
8069:f87a706d9c0d
by
nipkow
:
new entry: PSemigroupsConvolution
The file was added
thys/PSemigroupsConvolution/Binary_Modalities.thy
The file was added
thys/PSemigroupsConvolution/Partial_Semigroup_Lifting.thy
The file was added
thys/PSemigroupsConvolution/Partial_Semigroup_Models.thy
The file was added
thys/PSemigroupsConvolution/Partial_Semigroups.thy
The file was added
thys/PSemigroupsConvolution/Quantales.thy
The file was added
thys/PSemigroupsConvolution/ROOT
The file was added
thys/PSemigroupsConvolution/Unary_Modalities.thy
The file was added
thys/PSemigroupsConvolution/document/root.bib
The file was added
thys/PSemigroupsConvolution/document/root.tex
The file was added
web/entries/PSemigroupsConvolution.shtml
The file was modified
metadata/metadata
(diff)
The file was modified
thys/ROOTS
(diff)
The file was modified
web/entries/Algebraic_VCs.shtml
(diff)
The file was modified
web/entries/KAD.shtml
(diff)
The file was modified
web/entries/KAT_and_DRA.shtml
(diff)
The file was modified
web/entries/Kleene_Algebra.shtml
(diff)
The file was modified
web/entries/Multirelations.shtml
(diff)
The file was modified
web/entries/Regular_Algebras.shtml
(diff)
The file was modified
web/entries/Relation_Algebra.shtml
(diff)
The file was modified
web/entries/Residuated_Lattices.shtml
(diff)
The file was modified
web/index.shtml
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.shtml
(diff)
The file was modified
web/topics.shtml
(diff)