public_html: Prover/G4ip/.svn/entries@2807ec31d144 (annotated)

96 907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	10
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	dir
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	715
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	file:///home/urbanc/SVN/public-html/Prover/G4ip
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	file:///home/urbanc/SVN/public-html
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	7
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	8
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	13
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	14
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	15
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	16
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	17
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	18
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	19
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	20
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	21
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	22
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	23
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	24
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	25
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	26
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	27	fc9df204-d421-0410-9e14-c15ef6e4f2fa
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	28
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	29	ProofDisplay.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	31
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	32
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	33
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	34
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	35	2006-11-09T18:20:17.639827Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	36	a97d2c66d3fd7bcdd213d774896841b0
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	37	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	38	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	39	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	40	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	41
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	42	Token$BINOP.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	43	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	44
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	45
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	46
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	47
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	2006-11-09T18:20:17.667829Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	49	32b5b9eda53554043d0907125cf8cc7f
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	50	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	51	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	52	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	53	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	54
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	55	Prover.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	56	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	57
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	58
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	59
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	60
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	61	2006-11-09T18:20:17.691831Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	62	8b9be19d3b67b4a369a72c4e5e10bd3d
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	63	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	64	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	65	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	66	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	67
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	68	Form$Imp.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	69	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	70
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	71
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	72
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	73
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	74	2006-11-09T18:20:17.719832Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	75	b60e772948fe43c465df2f2f331396bb
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	76	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	77	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	78	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	79	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	80
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	81	Token.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	82	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	83
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	84
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	85
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	86
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	87	2006-11-09T18:20:17.747834Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	88	2e75c0f87eac4e38d5ace57be283791a
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	89	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	90	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	91	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	92	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	93
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	94	Token$EOI.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	95	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	96
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	97
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	98
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	99
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	100	2006-11-09T18:20:17.767835Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	101	713199ed4110463c33f47233da7fc8a9
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	102	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	103	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	104	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	105	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	106
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	107	Form$False.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	108	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	109
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	110
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	111
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	112
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	113	2006-11-09T18:20:17.795837Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	114	e85886fa4962e0aef939c0c049337511
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	115	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	116	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	117	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	118	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	119
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	120	Form$Equ.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	121	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	122
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	123
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	124
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	125
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	126	2006-11-09T18:20:17.819839Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	127	6b4025b2353b43060e719eea8cd0eda4
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	128	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	129	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	130	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	131	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	132
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	133	ProverApplet.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	134	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	135
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	136
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	137
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	138
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	139	2006-11-09T18:20:17.839840Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	140	c8018005a79c232a2f5a8624eafbb5e4
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	141	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	142	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	143	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	144	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	145
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	146	Sequent.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	147	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	148
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	149
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	150
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	151
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	152	2006-11-09T18:20:17.871842Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	153	3a85bbbc61fe6d9a0386f93236247ae7
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	154	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	155	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	156	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	157	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	158
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	159	Context.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	160	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	161
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	162
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	163
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	164
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	165	2006-11-09T18:20:17.891843Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	166	d0f7d2b96881db4bde92e8f4d536f36d
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	167	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	168	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	169	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	170	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	171
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	172	MyLabel.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	173	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	174
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	175
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	176
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	177
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	178	2006-11-09T18:20:17.919845Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	179	209a43004ea3a59d2159e4ecd1e708f3
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	180	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	181	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	182	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	183	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	184
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	185	Token$LPAREN.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	186	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	187
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	188
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	189
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	190
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	191	2006-11-09T18:20:17.939846Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	192	4ddf81422cc41b67d1316ec0a853dd4f
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	193	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	194	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	195	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	196	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	197
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	198	Form$And.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	199	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	200
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	201
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	202
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	203
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	204	2006-11-09T18:20:17.967848Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	205	d812343d49cd6ca248870b267dcb425b
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	206	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	207	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	208	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	209	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	210
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	211	Parser.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	212	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	213
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	214
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	215
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	216
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	217	2006-11-09T18:20:17.999850Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	218	885d37854254ecb34fffd1f7f3c1cae4
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	219	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	220	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	221	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	222	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	223
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	224	Token$RPAREN.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	225	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	226
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	227
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	228
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	229
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	230	2006-11-09T18:20:18.023851Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	231	687c812e49aad15e7a6e83f4d052c27c
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	232	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	233	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	234	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	235	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	236
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	237	Token$FALSE.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	238	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	239
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	240
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	241
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	242
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	243	2006-11-09T18:20:18.047853Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	244	b1f96237a06174b90beac3a13c882416
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	245	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	246	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	247	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	248	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	249
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	250	Token$COMMA.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	251	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	252
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	253
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	254
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	255
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	256	2006-11-09T18:20:18.075855Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	257	df0b752158c28ab08128e853da44ca3d
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	258	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	259	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	260	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	261	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	262
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	263	Token$ID.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	264	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	265
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	266
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	267
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	268
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	269	2006-11-09T18:20:18.091856Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	270	17c60735102d0a885094c6a741b571a1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	271	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	272	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	273	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	274	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	275
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	276	Form.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	277	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	278
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	279
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	280
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	281
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	282	2006-11-09T18:20:18.127858Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	283	5daaf19e13f066c1b9d279f756bdf1dd
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	284	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	285	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	286	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	287	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	288
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	289	Prover$$closures.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	290	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	291
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	292
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	293
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	294
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	295	2006-11-09T18:20:18.151859Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	296	7fdf9bd0a96557f94125b2dea0fb8a30
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	297	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	298	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	299	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	300	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	301
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	302	Form$Or.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	303	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	304
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	305
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	306
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	307
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	308	2006-11-09T18:20:18.195862Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	309	03ce91b15fbf88f8389b353b84994a72
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	310	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	311	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	312	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	313	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	314
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	315	Form$Atm.class
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	316	file
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	317
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	318
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	319
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	320
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	321	2006-11-09T18:20:18.215863Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	322	a520b38c1cf82bb4d578912a22cdffb0
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	323	2006-11-09T17:50:57.463278Z
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	324	1
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	325	urbanc
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	326	has-props
907b1fff5637 added phd and prover Christian Urban <urbanc@in.tum.de> parents: diff changeset	327

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 07 Jan 2025 12:42:42 +0000
changeset 653	2807ec31d144
parent 96	907b1fff5637
permissions	-rw-r--r--