Index of /chiou-prover/_darcs/inventories

	Name	Last modified	Size	Description
	Parent Directory		-
	0000000693-fe9302a3ed3b7fa823fd476dc64a5d7a82c7b97e3f437b7d2497464d165302e7	2010-07-05 02:48	431
	0000000955-a9afc610b620a2382071ffc9ad2ab692c7c8b932cb3510b4eb2d201cf5a1a052	2010-07-05 03:24	558
	0000001858-2ea06041dec04c6f08c6852a88aee3c3fbeb962080c0c94d0747e23b9a4f9092	2010-07-05 07:03	957
	0000002073-a8ccc1ebda9d75a0da0248c1e66243150a47206d68574487cc455e1ff14c481f	2010-07-05 07:11	1.0K
	0000002291-7b9e1d9423fea4c854e42818495e5befabd33e95246918988437842819748ac9	2010-07-05 15:59	1.1K
	0000002528-3acca0d60f7a386e349e46a495841e52e2e94f5f9744925e2ac196aac1efc1e0	2010-07-05 23:41	1.2K
	0000002781-bb039cb74ac93a87d47b0c492bf4f6fdf98a977d6ed970f526a14bb3ebfe7796	2010-07-06 19:15	1.4K
	0000003003-978b337c189deea591488c1639bb1afc3580d467a509d669251832b11ea3f56c	2010-07-06 20:42	1.4K
	0000003218-38f183f056bd308e876f55705af1e8b354d9c0a777dbb92f2e8f504f3224cce8	2010-07-07 02:17	1.5K
	0000003428-4d8d1ea23b8ce3b7ade3923f61a8d38a4a59f06e7a38b62cd1f47bd15f71f071	2010-07-07 02:31	1.6K
	0000004331-605998419ab7231e379d3503e83c0bbd5e58878f346ba9e7c44f98f7cebaf214	2010-07-07 23:17	2.0K
	0000004583-02480031da7f66e139f409aa0a3f96a1a7ba6d864e57ce768f5d386b12c97bb8	2011-07-22 16:26	2.2K
	0000004778-27f12aee0371d6437a203f3bf1e5f0bb4e5dcede671c0fce7e26f03af5787a06	2011-07-22 16:26	2.2K