Index of /paper/witness/witness-jfp/_darcs/inventories
Name
Last modified
Size
Description
Parent Directory
-
0000016772-b93cfa9ff7a6c4f9ca25cfc29c942572c5622a0df38e5e3e6dce3d7ae80a974c
2011-07-12 05:33
7.1K
0000016598-8b34989215d63f4b9a05db6753133f93b915c262758ec1881a0ba419dda5f1dd
2011-07-12 05:31
7.0K
0000016414-7f320c4eac9191c62af976074e2406003cd9959a77f7405cb68e721d7081c344
2011-02-11 00:54
7.0K
0000016239-15492d6487d037f1ca1f29562ea4861272a0b300177f6623b2889f7e193ba4c4
2011-02-11 00:50
6.9K
0000016064-077a4c37939079c056d41e9e18ba8975e283d91c525ddd95f1be6328414ad6b7
2011-02-11 00:49
6.8K
0000015693-ce0eb02192c501136d5957ddad80aff25f92138960a728155ac32f642c920bf1
2011-02-05 05:11
6.7K
0000015490-938f9b4d9261cc9d8666030038a361695f05a03c86d9e43eaac0f45a113141a7
2011-02-05 05:07
6.6K
0000015293-da51e7d084a10fd90d5ac1f498eceb8ce005927d778d06f4d4f397a5e4c95274
2011-02-05 03:55
6.5K
0000015104-25a0709f355f4a866db7024bad3d56533911354bec2550179b797f490c3d4f8a
2011-02-05 02:58
6.4K
0000014911-742c522e420dbaf2acb6786c4c238c35168249842ec107119be1a37350526309
2011-02-05 02:52
6.4K
0000014330-2f03ab9a39d24f34acbaf1f28eb32f1ceb2c7fb70fff2e0358b11e733da9b969
2011-02-03 08:47
6.1K
0000013926-5feb433bb67282cde97a41705e771b600325f9edaa138500f7f470bd0289c671
2011-02-03 01:06
5.9K
0000013719-01dc18335885fba63ba5375b44cf4b420101a1ac55a073de5117c226a5fb4010
2011-02-02 01:47
5.9K
0000013520-9738163670b7bfce03963e961b7c1d0d76383875851f31160cf001f3bf6a8306
2011-01-26 08:34
5.8K
0000013318-adc67368735b5c7ddf1d9470950bd40ae0be5e8a545a3d55717064c7a97a12db
2011-01-23 07:09
5.7K
0000013114-779433ab63620a94c28f17d98971aab1d3bd9879f08b1b6a62084106188aaa93
2011-01-23 06:37
5.6K
0000012724-3f834fd9a89305f08f008d75b21b491f4c3bd4427c2d278972048cf5507e61de
2011-01-23 03:00
5.5K
0000012527-db0da308badb527e186298c4aa325b9f6ccfdbb4d0d660bbede9569377f32e09
2011-01-22 07:18
5.4K
0000012308-f398c53cba3e4b542308b21440e3205569ea8a838f3316552a427550cb464be6
2011-01-22 06:35
5.3K
0000012114-0509b9187ac61967a641c78168cb787bcfb58abb3d6e7c3296a54b0683708e65
2011-01-22 05:00
5.2K
0000011917-0b9f192e53a93ebcb74a4816564a433d5c835a1f45b341be6fa536d3e2b2154a
2011-01-21 05:44
5.1K
0000011503-3e32e7a76ac01609291f7781b4fe8edc49072b951b41300bbfcacd7015397d1e
2011-01-21 04:12
5.0K
0000011306-0be740822604d59b0552636bb8d6ec8ab7795ec1744a867337b68eca9ee26200
2011-01-21 03:11
4.9K
0000010922-30bd588a808cfacf3b79fb7e34c606ab4485394a52395972f07b65b21872c5d2
2011-01-13 10:00
4.7K
0000010733-faf0bc213ad74b26e2e9603241c11b185c0aa9b9110b2820e9e601c001925515
2011-01-13 08:15
4.6K
0000010341-7f2138b5be8bb0e86c536d2ae87ba7c7d86273e7e5c65bd51f4e281e554d33a9
2011-01-12 07:13
4.5K
0000010134-57434a826411459337a79bf4d789c714174733966476862000b72a476440632a
2011-01-12 06:17
4.4K
0000009749-87348476b809f3194cf2b8c1ffd35f8d741a99da7af779b5744e536656e955c9
2011-01-12 02:09
4.2K
0000009347-e2ff54ae911bb020280c57c3803a9de6dc57b84c1a2dee7b1695f948e0c02f04
2011-01-11 10:54
4.1K
0000009140-48b738d32703a5ea75aba6979952eded1b6f7d362c21cd16a5f1adaa73dad900
2011-01-11 09:50
4.0K
0000008734-ed2fc5713434dbb56bc38e5860153b516bb56327b36c2418fb0b2b63db722c5e
2011-01-11 07:19
3.8K
0000008518-a3937526152ada183a92c7b47e09f9d41e869ef4767c299997d16e761e891aa2
2011-01-11 03:27
3.7K
0000008313-729f61e6159a732554a7ebf283d96709f6c7b9eee6a59b25b6a89815b4c97a69
2011-01-11 01:25
3.6K
0000007937-a675d771a424eac106dfd128c528a370edbf04f857d7d874bc0fc198a11af749
2011-01-11 00:06
3.5K
0000007735-48b4f1de4f69f3904861294fbce24b890f589d324d81ff0279748fece4bf0213
2011-01-10 23:24
3.4K
0000007345-2ce7a5928ce8d67f2806f4e8a41618a012aaef3f00878b11686e62b7ffd0fc78
2011-01-10 08:17
3.2K
0000006585-ed2456698977796ff51f1c506362aceffaa9b41a8b5f343db6cd77523bbb147f
2011-01-10 03:56
2.9K
0000005781-4b673aa1ebe55f1ba33992b7f6f5993fa40ea2052a82223e842eaf4388bc804c
2011-01-09 06:22
2.6K
0000005191-07a14d1e13b3453fab8261f3293044eb4bf6ace455cac699ed8f43ae77bbc7ae
2011-01-07 05:14
2.4K
0000004973-141f539d9ee0ddfbc146ab16c16aabe29f61ccceba483d97e9dde8f84cc22756
2011-01-07 05:12
2.3K
0000003730-e9f42b8791aeb5d9b7f0a73a94434ed6f77a2f52442b904a0660706165b4aa5d
2011-01-06 07:56
1.7K
0000003127-960cfa3f600a131097764bf5752cc88c3517d7f4280f9d8c517cdd006df0b3e1
2011-01-05 09:30
1.5K
0000002942-48a8a3093986a14d1c2dc819701b8cbacac5758c4157b7c965733cbc29d19208
2011-01-05 09:29
1.4K
0000002757-4adbffae6bc6702622f41534ac54f8d782b8284ef0ff574a4ed161f1379e603f
2011-01-05 08:26
1.3K
0000002544-cd4f84dc47d88b46df6cdee18c99c7529204368923b7c694dbdf2f3653ba1e07
2011-01-05 06:03
1.2K
0000001914-cd9c61c26a65f2edc3a46c6576bde90ff9061efbf2b0f64863c8b2250d89a7e4
2011-01-04 05:30
1.0K
0000001703-100457a2d524c88c6cfabd05092675938c5bf513ededef09aeec770674ab275a
2011-01-04 05:23
885
0000001485-4df0ced8c8a043ee8400852466c7a0cfeedf436243703cc9cab9cf89c57ca3a0
2011-01-04 04:48
786
0000001105-f40a90f58ac0fe9d15e686e9f9536e114497c0cf0a8d14ef27c3d656c61b0944
2011-01-04 04:30
616
0000000714-dd26ce8b514a1cf2c7c230608f4d23db82e295b062d5a0517e4e9c9ba5fc933d
2011-01-04 02:56
441
0000016276-b13ffde324777f12256a019b8e7a26638ac0630c38eb81ad65df3b48b42d473a
2010-07-20 10:12
6.9K
0000000290-19d9f731d7527fa43da5aee2adfe04c8cfe1505a70f3af5da828a15624271460
2010-07-20 10:12
243
0000016087-cf9345227285dda439333e8e4fb9e58cc8597d5901dbe335b7549b4fcae7d7f2
2010-07-20 10:11
6.8K
0000015872-cee556b0c88da5d90e5636ffcd232f88eae12b4d55cb9a761919aa8877bfecf1
2010-07-20 07:18
6.7K
0000015698-ecdcd10b984b4bf0fce9a851e8de0fa5df593372efbc7ce48b24d66c8271b02c
2010-07-20 03:01
6.7K
0000015323-2088466bc4ddcae69c1d574094d3c9a419da7f40acc43cb3fb63363373bbbaa8
2010-07-11 01:57
6.5K
0000015137-73db7ac1fe12fd4e97d747b79c90d0a93339a613ede28fe2bf37ce42745426d5
2010-07-11 01:54
6.4K
0000014951-f87528db509faecd394f913485f03bc9aa556a048697a4fc1cd17a823d54cd77
2010-07-07 08:27
6.4K
0000014603-383d8409806dac71532d96be14c088e31ac3e00b89ce6302262f9e48eae57823
2010-07-06 10:08
6.2K
0000014418-c3694a268ec4f1adeae2ab9147915d1333d24b2e67370776c145cb1862adf3dc
2010-07-06 09:51
6.1K
0000014229-4d5a521c4b29208ad1c12745c830ab3f90ec5f22c50cb36d72262850ebd10feb
2010-07-06 02:42
6.1K
0000014043-e6f0e4a5d2461c1509deed58bc35fd21dd51b983dbe874e6f50da81937bc02d9
2010-07-02 09:18
6.0K
0000013869-2865dab8ab9c0d531fe87ab22aaac80a4b18575166bd3bda819db43ea5ec7e6b
2010-07-02 05:33
5.9K
0000013674-f58057d68795e18439f872986e812ec764a41d499f87778678be39552eef3406
2010-07-02 04:51
5.8K
0000012926-ee6b78ce2139df6528305203ae7aecab5c28cb08a21d72ffafbff7ddc491b8d1
2010-07-01 06:10
5.5K
0000012741-0d0742f84aaa6b121e9f24bd4f3175adb505e572174f24817e715563399ca0c4
2010-07-01 05:57
5.4K
0000012332-8315b3f4ff272d9e1fb50fb6c938502fdea7f05f1078e84458f9d32fa13f05fe
2010-06-29 12:04
5.3K
0000008744-7ed4e730139a488faa1d453bc61a99a1a62284daae2b7dcd9bdb999495442886
2010-06-23 06:36
3.8K
0000008364-95a82913634c925c8ad90a11a9b8573f2c9dbc31bc8a1acd30b5a229bc4e3d42
2010-06-22 11:04
3.6K
0000007998-7a17e6be16e1c25ab0220101b02ed26bb6943695a300b5ab94db684ff6d04ced
2010-06-22 07:28
3.5K
0000007406-560cc04bdd463744b5e6aec83e6bcfcfcd7a12da517060865065009c541131a2
2010-06-21 10:08
3.2K
0000007201-4d48835becf83bb9eee02ed6c5d22dd2136cba2257e4df761e62fa27b3dee818
2010-06-21 07:49
3.1K
0000005889-f5f03e40b93fda93bb0de6bbd557c59c77f9f1a292e38e43a6fb19360f23cdd8
2010-06-21 02:45
2.6K
0000005462-85969e9878eb27f055ccbc3b873a569208d70f02c8547b6bd2b94109d5c4f1e2
2010-05-25 12:38
2.4K
0000004425-0bbba166a81ef7843aa1b72a66d1d98a4d9f89e30852ecfd5792713d64f07aaa
2010-05-25 06:29
2.0K
0000003822-00956a9134d410ad52d8671e3c8f2b5b5750ea84c918ada2a2055d97b70dbf21
2010-05-16 09:31
1.8K
0000003632-d1b81f75961b0826df912e381be83929279e639161efb78b978d46faa8260d1c
2010-05-14 08:05
1.7K
0000003440-ef64d7af5d3cdcc119ede86cb0e4542298852fcb2e1b7eaa661eb00903681454
2010-05-14 06:44
1.6K
0000003254-acec380fca7a1ecc23375e28e2cedd0d3e1e69d14370b29a289e76d0b55e577a
2010-05-14 05:45
1.5K
0000002874-49d30782f51ddb1c8bbea134bb288d10c3c05798ab11d381d3ea32bd04e58f7b
2010-04-08 08:30
1.3K
0000002096-357fe3d136c1daa8609dea3436a8eb9191d02170cbd12d4fdbe7da3c3aafab01
2010-04-08 05:12
1.0K
0000001503-5733b1bad450db87ae6357448582c50a19aa8cebdf5b24af29f34f715794f1a0
2010-04-07 07:33
801
0000000905-d30a842ead27b708366fa19fd9b63d7b986acc43497724cd8f96da0ab4f60f4b
2010-03-19 07:31
529
0000000702-8bdbbf439c00be60c2e261a1888f6ee2c39b2e3cb276ad34b0901da9a9fada8c
2010-03-19 06:38
442
0000000493-310f9f523e3e47045b5e488b63e93c856f01b48d3d6192b8692332090b76565c
2010-03-19 04:50
338
0000018560-f333879d1eba4ca26ae44dcfaed6e007c628339e1e41640628caa2675c2cbaf9
2010-03-12 05:42
7.8K
0000000304-b9dfe121d04c81fce011f43662f0f26b6421053d587db52ee6b523837ccefe63
2010-03-12 05:42
251
Apache/2.4.38 (Debian) Server at code.ouroborus.net Port 80