src/HOL/Bali/DeclConcepts.thy
changeset 35898 c890a3835d15
parent 35547 991a6af75978
child 36366 886b94b1bed7