| Fri, 16 Dec 2011 22:07:03 +0100 | wenzelm | merged | changeset | files |
| Fri, 16 Dec 2011 12:01:10 +0100 | nipkow | merged | changeset | files |
| Fri, 16 Dec 2011 12:00:59 +0100 | nipkow | improved indexed complete lattice | changeset | files |
| Fri, 16 Dec 2011 22:08:48 +0100 | wenzelm | more elementary defs; | changeset | files |
| Fri, 16 Dec 2011 21:23:21 +0100 | wenzelm | eliminated old-fashioned Global_Theory.add_thms(s); | changeset | files |
| Fri, 16 Dec 2011 13:37:08 +0100 | wenzelm | prefer sorting from Scala library; | changeset | files |
| Fri, 16 Dec 2011 12:03:33 +0100 | wenzelm | prefer Name.context operations; | changeset | files |