Commit [0555a5] default  Maximize  Restore  History

standard IsaMakefile, use LatticeProperties image

kleing kleing 2011-09-27

changed thys/MonoBoolTranAlgebra/IsaMakefile
changed thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy
changed thys/MonoBoolTranAlgebra/ROOT.ML
thys/MonoBoolTranAlgebra/IsaMakefile 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...