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