doc-src/Codegen/Thy/Setup.thy
changeset 30996 648d02b124d8
parent 30227 853abb4853cc
child 32833 f3716d1a2e48
equal deleted inserted replaced
30987:2bbc22bd6a95 30996:648d02b124d8