src/Cube/Example.thy
changeset 53417 32ec957e5c3e
parent 45242 401f91ed8a93
child 58617 4f169d2cf6f3
equal deleted inserted replaced
53416:3a67ed19b755 53417:32ec957e5c3e