Quot/Examples/IntEx.thy
changeset 608 678315da994e
parent 606 38aa6b67a80b
child 610 2bee5ca44ef5
child 617 ca37f4b6457c
equal deleted inserted replaced
607:a8c3fa5c4015 608:678315da994e