| 2006-02-02 | wenzelm | do not open structure; | changeset | files |
| 2006-02-02 | huffman | reimplemented using Equiv_Relations.thy | changeset | files |
| 2006-02-02 | haftmann | improvement in devarifications | changeset | files |
| 2006-02-02 | haftmann | alternative syntax for instances | changeset | files |
| 2006-02-02 | wenzelm | tuned; | changeset | files |
| 2006-02-02 | wenzelm | consumes: negative argument relative to total number of prems; | changeset | files |
| 2006-02-02 | wenzelm | added refine_insert; | changeset | files |
| Loading... | |||