Quot/Examples/IntEx.thy
changeset 697 57944c1ef728
parent 692 c9231c2903bc
child 705 f51c6069cd17
equal deleted inserted replaced
696:fd718dde1d61 697:57944c1ef728