src/HOL/IMP/BExp.thy
changeset 82885 5d2a599f88af
parent 68776 403dd13cf6e9
equal deleted inserted replaced
82884:d26ffa4a1817 82885:5d2a599f88af