| Fri, 14 Dec 2012 18:41:45 +0100 | nipkow | contribution by A. Colgio | changeset | files |
| Fri, 14 Dec 2012 16:46:39 +0100 | nipkow | merged | changeset | files |
| Thu, 13 Dec 2012 12:48:45 +0100 | nipkow | renamed "emb" to "list_hembeq"; make "list_hembeq" reflexive independent of the base order; renamed "sub" to "sublisteq"; dropped "transp_on" (state transitivity explicitly instead); no need to hide "sub" after renaming; replaced some ASCII symbols by proper Isabelle symbols; NEWS | changeset | files |