diff -r 345dd18f020e -r 907b1fff5637 Prover/G4ip/.svn/entries
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/G4ip/.svn/entries	Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,327 @@
+10
+
+dir
+715
+file:///home/urbanc/SVN/public-html/Prover/G4ip
+file:///home/urbanc/SVN/public-html
+
+
+
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+fc9df204-d421-0410-9e14-c15ef6e4f2fa
+
+ProofDisplay.class
+file
+
+
+
+
+2006-11-09T18:20:17.639827Z
+a97d2c66d3fd7bcdd213d774896841b0
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$BINOP.class
+file
+
+
+
+
+2006-11-09T18:20:17.667829Z
+32b5b9eda53554043d0907125cf8cc7f
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Prover.class
+file
+
+
+
+
+2006-11-09T18:20:17.691831Z
+8b9be19d3b67b4a369a72c4e5e10bd3d
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$Imp.class
+file
+
+
+
+
+2006-11-09T18:20:17.719832Z
+b60e772948fe43c465df2f2f331396bb
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token.class
+file
+
+
+
+
+2006-11-09T18:20:17.747834Z
+2e75c0f87eac4e38d5ace57be283791a
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$EOI.class
+file
+
+
+
+
+2006-11-09T18:20:17.767835Z
+713199ed4110463c33f47233da7fc8a9
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$False.class
+file
+
+
+
+
+2006-11-09T18:20:17.795837Z
+e85886fa4962e0aef939c0c049337511
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$Equ.class
+file
+
+
+
+
+2006-11-09T18:20:17.819839Z
+6b4025b2353b43060e719eea8cd0eda4
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+ProverApplet.class
+file
+
+
+
+
+2006-11-09T18:20:17.839840Z
+c8018005a79c232a2f5a8624eafbb5e4
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Sequent.class
+file
+
+
+
+
+2006-11-09T18:20:17.871842Z
+3a85bbbc61fe6d9a0386f93236247ae7
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Context.class
+file
+
+
+
+
+2006-11-09T18:20:17.891843Z
+d0f7d2b96881db4bde92e8f4d536f36d
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+MyLabel.class
+file
+
+
+
+
+2006-11-09T18:20:17.919845Z
+209a43004ea3a59d2159e4ecd1e708f3
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$LPAREN.class
+file
+
+
+
+
+2006-11-09T18:20:17.939846Z
+4ddf81422cc41b67d1316ec0a853dd4f
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$And.class
+file
+
+
+
+
+2006-11-09T18:20:17.967848Z
+d812343d49cd6ca248870b267dcb425b
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Parser.class
+file
+
+
+
+
+2006-11-09T18:20:17.999850Z
+885d37854254ecb34fffd1f7f3c1cae4
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$RPAREN.class
+file
+
+
+
+
+2006-11-09T18:20:18.023851Z
+687c812e49aad15e7a6e83f4d052c27c
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$FALSE.class
+file
+
+
+
+
+2006-11-09T18:20:18.047853Z
+b1f96237a06174b90beac3a13c882416
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$COMMA.class
+file
+
+
+
+
+2006-11-09T18:20:18.075855Z
+df0b752158c28ab08128e853da44ca3d
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Token$ID.class
+file
+
+
+
+
+2006-11-09T18:20:18.091856Z
+17c60735102d0a885094c6a741b571a1
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form.class
+file
+
+
+
+
+2006-11-09T18:20:18.127858Z
+5daaf19e13f066c1b9d279f756bdf1dd
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Prover$$closures.class
+file
+
+
+
+
+2006-11-09T18:20:18.151859Z
+7fdf9bd0a96557f94125b2dea0fb8a30
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$Or.class
+file
+
+
+
+
+2006-11-09T18:20:18.195862Z
+03ce91b15fbf88f8389b353b84994a72
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+
+Form$Atm.class
+file
+
+
+
+
+2006-11-09T18:20:18.215863Z
+a520b38c1cf82bb4d578912a22cdffb0
+2006-11-09T17:50:57.463278Z
+1
+urbanc
+has-props
+