Index of /chiou-prover/_darcs/patches

	Name	Last modified	Size	Description
	Parent Directory		-
	0000000330-a5c57541de66f70bf326239f8b1d4336eb0b2c686fa93ef61edaf4d95d3dcf56	2010-07-07 02:31	204
	0000000384-7fb9dd6675177dc75b8a470913f62f68bc4afd75f16af3f7816f66f02194868d	2010-07-05 07:11	274
	0000000505-37b2b474c1964ef4c1294a60e7706769f9d720e9b1cccbcca507c85ec1e9a584	2010-07-07 23:17	292
	0000000542-242c10308fca42473693c6117f626ffcb5f07d49c8872e35f948daac1badd0c5	2010-07-06 19:15	273
	0000001054-df0065c25b12553c541300f93b03abeffe4a3711464c9968caadaaaec9ee0263	2011-07-22 16:26	333
	0000002128-804d76c0e6b1461d6427e2d53d9adc3079ec1b977af28422fa584f1f540a1184	2010-07-05 03:24	679
	0000002627-8c2095b044637de8030f2b7a9ac31f600be8f3e07d1bc6097b2019f85de0f65f	2011-07-22 16:26	698
	0000003167-471bbf60d9e90a159da73de05778838799d82253bffe2b71e540f82d6e069b0f	2010-07-06 20:42	1.0K
	0000003624-e6d13993799b7c45dc21ee730352299a186c6709bb3a73208349a2aafa1680ec	2010-07-05 15:59	938
	0000003959-f6e1fab8302a15e705f7dd1efcb07a7ca750b02215d3b2e3790b3bc5417ddc93	2010-07-05 07:03	1.1K
	0000003972-8d487eb031ebdbaabf1cf02eb7c79c4a47a2d131733686185ba4acd3058d62ae	2010-07-05 23:41	1.3K
	0000004183-6a224f8e18a4288c6672999304f63f0e8e9e2f7c720e2574b9dc8f77830b9700	2010-07-07 23:17	1.0K
	0000004260-eb51655a33fe30acf2a4074a0b5c46ab4ed07ef6b8f56d1cc9de1c594b5dfed2	2010-07-05 07:03	1.3K
	0000004984-ff93dadf6c14091c8701c82e11550c56a5188c46ea8378807084fa8c7128579d	2010-07-05 07:03	1.5K
	0000005905-523fd0b07103abe121a278d557987b621676d2c2da957ae15b95497e6091eaaa	2010-07-05 02:48	1.5K
	0000007849-5617de9634064aa3e7efa0a4236d8b4afa83bd0696ddf783e66a5331043923dd	2010-07-05 07:03	1.4K
	0000015394-204b182e2ff45dbecbee2cd7cc0aaf4b173efc9bcc7b23d1297856e56d1b9635	2010-07-07 23:17	1.6K
	0000016014-7ae805e5a630e153597f186795f5a5cb29b27666b6c4c0825c9c35328cfa6dcb	2010-07-05 02:48	3.5K
	0000030336-d41001d1088e974545bd5589f77307bcc78a399416877289642d60f541373a1a	2010-07-07 02:17	4.8K
	0000059656-02331fe11ea6e574ec9a3e8a55949cd1b0d0a79d85125b273a2c1659eba7ecc4	2010-07-07 23:17	11K
	0000195295-cd23bf0b99d92ce91bde0dc00722c69dd347dfe76c1322d4ac974b29f06a7327	2010-07-05 02:48	70K
	pending	2011-07-22 16:26	4
	pending.tentative	2011-07-22 16:26	4