src/HOL/SMT_Examples/SMT_Examples.thy
changeset 66787 64b47495676d
parent 66298 5ff9fe3fee66
child 66740 ece9435ca78e