src/HOL/IOA/IOA.thy
changeset 37380 35815ce9218a
parent 36862 952b2b102a0a
child 42174 d0be2722ce9f
equal deleted inserted replaced
37379:f23e60581eb3 37380:35815ce9218a