2010-02-01 | himmelma | Removed explicit type annotations | changeset | files |
2010-01-31 | haftmann | adjusted to changes in List_Set.thy | changeset | files |
2010-01-31 | haftmann | more correspondence lemmas between related operations | changeset | files |
Loading... |