src/CCL/ex/flag.thy
changeset 6019 0e55c2fb2ebb
parent 290 37d580c16af5