Quot/Examples/IntEx.thy
changeset 818 9ab49dc166d6
parent 787 5cf83fa5b36c
child 833 129caba33c03