Tue, 26 Mar 2013 12:20:52 +0100 | hoelzl | separate SupInf into Conditional_Complete_Lattice, move instantiation of real to RealDef | changeset | files |
Mon, 25 Mar 2013 20:00:27 +0100 | ballarin | Discontinued theories src/HOL/Algebra/abstract and .../poly. | changeset | files |
Mon, 25 Mar 2013 19:53:44 +0100 | ballarin | Remove obsolete URLs in documentation of HOL-Algebra. | changeset | files |