/src/Sequents/LK/
drwxr-xr-x [up]
-rw-r--r-- 2010-08-31 08:00 +0200 8524 Hard_Quantifiers.thy
-rw-r--r-- 2010-08-31 08:00 +0200 2306 Nat.thy
-rw-r--r-- 2010-08-31 08:00 +0200 2756 Propositional.thy
-rw-r--r-- 2010-08-31 08:00 +0200 2857 Quantifiers.thy
-rw-r--r-- 2010-08-31 08:00 +0200 265 ROOT.ML