src/HOL/Predicate_Compile_Examples/Examples.thy
changeset 51085 d90218288d51
parent 45970 b6d0cff57d96
child 51144 0ede9e2266a8
equal deleted inserted replaced
51084:cbae5c5ffd23 51085:d90218288d51