/src/Sequents/LK/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 341 ROOT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 8741 hardquant.ML
-rw-r--r-- 1999-03-11 13:20 +0100 3830 prop.ML
-rw-r--r-- 1999-03-11 13:20 +0100 3915 quant.ML