ProgTutorial/Recipes/Sat.thy
changeset 301 2728e8daebc0
parent 294 ee9d53fbb56b
child 329 5dffcab68680
equal deleted inserted replaced
300:f286dfa9f173 301:2728e8daebc0