src/Sequents/LK.thy
changeset 24440 27dcdcff5ce4
parent 21428 f84cf8e9cad8
child 27149 123377499a8e
equal deleted inserted replaced
24439:f52709e5230e 24440:27dcdcff5ce4