doc-src/TutorialI/Overview/LNCS/Ind.thy
changeset 38662 4d4553e09337
parent 21324 a5089fc012b5
equal deleted inserted replaced
38661:f1ba2ae8e58a 38662:4d4553e09337