/src/Sequents/LK/
drwxr-xr-x [up]
-rw-r--r-- 2014-03-14 10:08 +0100 8146 Hard_Quantifiers.thy
-rw-r--r-- 2014-03-14 10:08 +0100 1760 Nat.thy
-rw-r--r-- 2014-03-14 10:08 +0100 2770 Propositional.thy
-rw-r--r-- 2014-03-14 10:08 +0100 2871 Quantifiers.thy