Commit [a8131b] default  Maximize  Restore  History

updates to devel version (by Brian)

kleing kleing 2011-09-27

changed thys/LatticeProperties/Complete_Distrib_Lattice.thy
changed thys/LatticeProperties/Complete_Lattice_Prop.thy
changed thys/LatticeProperties/Lattice_Infix.thy
changed thys/LatticeProperties/Lattice_Ordered_Group.thy
changed thys/LatticeProperties/Modular_Distrib_Lattice.thy
thys/LatticeProperties/Complete_Distrib_Lattice.thy Diff Switch to side-by-side view
Loading...
thys/LatticeProperties/Complete_Lattice_Prop.thy Diff Switch to side-by-side view
Loading...
thys/LatticeProperties/Lattice_Infix.thy Diff Switch to side-by-side view
Loading...
thys/LatticeProperties/Lattice_Ordered_Group.thy Diff Switch to side-by-side view
Loading...
thys/LatticeProperties/Modular_Distrib_Lattice.thy Diff Switch to side-by-side view
Loading...