src/HOL/Bali/DefiniteAssignment.thy
changeset 20380 14f9f2a1caa6
parent 18459 2b102759160d
child 21765 89275a3ed7be