Commit [81142d] default Maximize Restore History

Algebra of Monotonic Boolean Transformers by Viorel Preoteasa

kleing kleing 2011-09-27

added thys/MonoBoolTranAlgebra/document/root.bib
added thys/MonoBoolTranAlgebra/document/root.tex
added thys/MonoBoolTranAlgebra/Mono_Bool_Tran_Algebra.thy
added thys/MonoBoolTranAlgebra/Statements.thy
added thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy
added thys/MonoBoolTranAlgebra/ROOT.ML
added thys/MonoBoolTranAlgebra/Assertion_Algebra.thy
added thys/MonoBoolTranAlgebra/config
added thys/MonoBoolTranAlgebra/IsaMakefile
thys/MonoBoolTranAlgebra/document/root.bib Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/document/root.tex Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/Mono_Bool_Tran_Algebra.thy Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/Statements.thy Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/Assertion_Algebra.thy Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/config Diff Switch to side-by-side view
Loading...
thys/MonoBoolTranAlgebra/IsaMakefile Diff Switch to side-by-side view
Loading...