Attic/MyInduction.thy
changeset 634 b079aaee5e10
parent 95 a33d3040bf7e
equal deleted inserted replaced
633:f1edd5ee1a12 634:b079aaee5e10