src/Sequents/LK0.thy
Tue, 27 Jul 1999 18:52:23 +0200 paulson renamed theory LK to LK0
less more (0) tip