doc-src/TutorialI/Overview/LNCS/Sets.thy
changeset 17778 93d7e524417a
parent 14138 ca5029d391d1
child 21324 a5089fc012b5
equal deleted inserted replaced
17777:05f5532a8289 17778:93d7e524417a