src/Sequents/LK/Nat.thy
changeset 11193 851c90b23a9e
parent 7123 4ab38de3fd20
child 17481 75166ebb619b