| Tue, 05 Mar 2013 15:43:12 +0100 | hoelzl | complete_linorder is also a complete_distrib_lattice | changeset | files |
| Tue, 05 Mar 2013 15:43:08 +0100 | hoelzl | move Liminf / Limsup lemmas on complete_lattices to its own file | changeset | files |
| Tue, 05 Mar 2013 15:27:08 +0100 | nipkow | merged | changeset | files |
| Tue, 05 Mar 2013 15:26:57 +0100 | nipkow | New theory of infinity-extended types; should replace Extended_xyz eventually | changeset | files |
| Tue, 05 Mar 2013 13:03:24 +0100 | webertj | Avoid ML warning about unreferenced identifier. | changeset | files |
| Tue, 05 Mar 2013 11:59:58 +0100 | blanchet | polymorphic SPASS is also SPASS | changeset | files |
| Tue, 05 Mar 2013 09:47:15 +0100 | traytel | allow more general coercion maps; tuned; | changeset | files |