src/HOL/IOA/Asig.thy
changeset 29460 ad87e5d1488b
parent 19801 b2af2549efd1
child 36862 952b2b102a0a