src/HOL/IOA/Asig.thy
changeset 27611 2c01c0bdb385
parent 19801 b2af2549efd1
child 36862 952b2b102a0a
equal deleted inserted replaced
27610:8882d47e075f 27611:2c01c0bdb385