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)