/Prover/G4ip/.svn/text-base/
drwxr-xr-x [up]
-rw-r--r-- 2021-08-13 22:13 +0200 1484 Context.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 420 Form$And.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 397 Form$Atm.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 420 Form$Equ.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 322 Form$False.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 420 Form$Imp.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 418 Form$Or.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 2127 Form.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 750 MyLabel.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 4078 Parser.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 2111 ProofDisplay.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 1118 Prover$$closures.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 5753 Prover.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 3352 ProverApplet.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 885 Sequent.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 362 Token$BINOP.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 324 Token$COMMA.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 319 Token$EOI.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 323 Token$FALSE.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 396 Token$ID.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 325 Token$LPAREN.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 325 Token$RPAREN.class.svn-base
-rw-r--r-- 2021-08-13 22:13 +0200 2071 Token.class.svn-base