src/FOLP/ex/Quantifiers_Int.thy
changeset 42170 a37a47aa985b
parent 36319 8feb2c4bef1a
child 58963 26bf09b95dda
equal deleted inserted replaced
42169:a7570c66d746 42170:a37a47aa985b