Index of /PropLogic/_darcs/patches

	Name	Last modified	Size	Description
	Parent Directory		-
	0000000212-cb76820b7d52a4ede759125914e78a4ddec88c9ff7f1ce69a77ffe15e37ee2fc	2011-10-12 16:06	185
	0000000270-f6493615ebe49780888e1ee516035ed5e3a89b36a764e0f760ccdf6834502af1	2011-10-12 16:07	218
	0000000314-9a6f0833ee6bdcb8fb596eae8fa8689b1178fa373b0f2fec6bd50aff6b6d8dca	2012-04-16 21:59	209
	0000000335-b3e823f3e3c03690ef4a86641357851e8de13c069aa2696abbfb3e6ca19fc455	2011-10-12 16:06	212
	0000000341-dfd793676a7d81af964d1676bb4b8fa3094501160c3e14c5227930f56bfd577e	2011-10-12 16:06	244
	0000000405-99d02539bbadb644d88e7f531c927a5369743be2dc72794230656b4d7b4cf1d0	2012-04-16 21:57	257
	0000000507-2ad00006e569e46cfca5c4a0df925a3c025f5f3305bda2bbcb00f2fb1289662d	2012-04-16 15:36	289
	0000000515-fd4e35e54c1e5b18d3dc6fdb1c5859a3170611bce9007f6279f8d00139e1829e	2012-04-16 15:46	286
	0000001278-0fbc2cf439b455644b9bb48a42aa7290502c85b809694e650e7a825fd83c307c	2011-10-12 16:06	470
	0000224055-449a62a2576d83160cf02bb6f9042580d2e43381dc379b97f39c0ba4c15e0d8a	2011-10-12 16:02	50K
	pending	2012-04-16 21:59	4
	pending.tentative	2012-04-16 21:59	4