Index of /pub/ATP_problems/algebra/category.theory/


../
README                                             24-Mar-1990 16:47    3467
axioms.mitchell                                    24-Mar-1990 16:47    2435
axioms.quaife                                      24-Mar-1990 16:47    1157
axioms.scott                                       24-Mar-1990 16:47    3245
p1.desc                                            24-Mar-1990 16:47    1001
p1.ver1.clauses                                    24-Mar-1990 16:47    2759
p1.ver1.in                                         24-Mar-1990 16:47    3064
p1.ver1.out                                        24-Mar-1990 16:48    3876
p1.ver2.clauses                                    24-Mar-1990 16:48    1207
p1.ver2.in                                         24-Mar-1990 16:48    1572
p1.ver2.out                                        24-Mar-1990 16:48    2441
p1.ver3.clauses                                    24-Mar-1990 16:48    2437
p1.ver3.in                                         24-Mar-1990 16:48    2691
p1.ver3.out                                        24-Mar-1990 16:48    2984
p10.desc                                           24-Mar-1990 16:47     774
p10.ver1.clauses                                   24-Mar-1990 16:47    2351
p10.ver1.in                                        24-Mar-1990 16:47    2516
p10.ver1.out                                       24-Mar-1990 16:47    3471
p10.ver3.clauses                                   24-Mar-1990 16:47    2349
p10.ver3.in                                        24-Mar-1990 16:48    2683
p10.ver3.out                                       24-Mar-1990 16:48    2487
p11.desc                                           24-Mar-1990 16:48     972
p11.ver1.clauses                                   24-Mar-1990 16:48    2311
p11.ver1.in                                        24-Mar-1990 16:48    2405
p11.ver1.out                                       24-Mar-1990 16:48    3015
p11.ver2.clauses                                   24-Mar-1990 16:48     899
p11.ver2.in                                        24-Mar-1990 16:48    1244
p11.ver2.out                                       24-Mar-1990 16:48    2432
p11.ver3.clauses                                   24-Mar-1990 16:47    2334
p11.ver3.in                                        24-Mar-1990 16:48    2544
p11.ver3.out                                       24-Mar-1990 16:48    2275
p12.desc                                           24-Mar-1990 16:48     753
p12.ver1.clauses                                   24-Mar-1990 16:48    2311
p12.ver1.in                                        24-Mar-1990 16:48    2405
p12.ver1.out                                       24-Mar-1990 16:48    3011
p12.ver3.clauses                                   24-Mar-1990 16:47    2335
p12.ver3.in                                        24-Mar-1990 16:48    2668
p12.ver3.out                                       24-Mar-1990 16:48    2364
p13.desc                                           24-Mar-1990 16:48     753
p13.ver1.clauses                                   24-Mar-1990 16:48    2311
p13.ver1.in                                        24-Mar-1990 16:48    2405
p13.ver1.out                                       24-Mar-1990 16:48    3011
p13.ver3.clauses                                   24-Mar-1990 16:48    2331
p13.ver3.in                                        24-Mar-1990 16:48    2629
p13.ver3.out                                       24-Mar-1990 16:48    2533
p14.desc                                           24-Mar-1990 16:48     972
p14.ver1.clauses                                   24-Mar-1990 16:48    2311
p14.ver1.in                                        24-Mar-1990 16:47    2405
p14.ver1.out                                       24-Mar-1990 16:48    3016
p14.ver2.clauses                                   24-Mar-1990 16:48     900
p14.ver2.in                                        24-Mar-1990 16:48    1244
p14.ver2.out                                       24-Mar-1990 16:48    2432
p14.ver3.clauses                                   24-Mar-1990 16:48    2332
p14.ver3.in                                        24-Mar-1990 16:48    2666
p14.ver3.out                                       24-Mar-1990 16:48    2398
p15.desc                                           24-Mar-1990 16:48    2401
p15.related.clauses                                24-Mar-1990 16:48    1869
p15.related.in                                     24-Mar-1990 16:48    2358
p15.related.out                                    24-Mar-1990 16:48    4351
p15.ver1.clauses                                   24-Mar-1990 16:48    2728
p15.ver1.in                                        24-Mar-1990 16:48    2901
p15.ver1.out                                       24-Mar-1990 16:48    3461
p15.ver2.clauses                                   24-Mar-1990 16:48     982
p15.ver2.in                                        24-Mar-1990 16:48    1336
p15.ver2.out                                       24-Mar-1990 16:48    2318
p15.ver3.no1.clauses                               24-Mar-1990 16:48    2644
p15.ver3.no1.in                                    24-Mar-1990 16:48    2845
p15.ver3.no1.out                                   24-Mar-1990 16:48    3414
p15.ver3.no2.clauses                               24-Mar-1990 16:48    2368
p15.ver3.no2.in                                    24-Mar-1990 16:48    2536
p15.ver3.no2.out                                   24-Mar-1990 16:48    2371
p15.ver3.no3.clauses                               24-Mar-1990 16:48    2368
p15.ver3.no3.in                                    24-Mar-1990 16:48    2548
p15.ver3.no3.out                                   24-Mar-1990 16:48    2363
p15.ver3.no4.clauses                               24-Mar-1990 16:48    2352
p15.ver3.no4.in                                    24-Mar-1990 16:48    2586
p15.ver3.no4.out                                   24-Mar-1990 16:48    2189
p16.desc                                           24-Mar-1990 16:48     559
p16.ver3.clauses                                   24-Mar-1990 16:48    2326
p16.ver3.in                                        24-Mar-1990 16:48    2499
p16.ver3.out                                       24-Mar-1990 16:48    2422
p17.desc                                           24-Mar-1990 16:48     559
p17.ver3.clauses                                   24-Mar-1990 16:48    2325
p17.ver3.in                                        24-Mar-1990 16:48    2498
p17.ver3.out                                       24-Mar-1990 16:48    2424
p18.desc                                           24-Mar-1990 16:48     803
p18.ver1.clauses                                   24-Mar-1990 16:48    2365
p18.ver1.in                                        24-Mar-1990 16:48    2530
p18.ver1.out                                       24-Mar-1990 16:48    2942
p18.ver3.clauses                                   24-Mar-1990 16:48    2364
p18.ver3.in                                        24-Mar-1990 16:48    2537
p18.ver3.out                                       24-Mar-1990 16:48    3852
p2.desc                                            24-Mar-1990 16:47    1070
p2.ver1.clauses                                    24-Mar-1990 16:47    2487
p2.ver1.in                                         24-Mar-1990 16:47    2789
p2.ver1.out                                        24-Mar-1990 16:47    4230
p2.ver2.clauses                                    24-Mar-1990 16:48    1350
p2.ver2.in                                         24-Mar-1990 16:48    1715
p2.ver2.out                                        24-Mar-1990 16:48    2508
p2.ver3.clauses                                    24-Mar-1990 16:48    2479
p2.ver3.in                                         24-Mar-1990 16:48    2775
p2.ver3.out                                        24-Mar-1990 16:48    3331
p3.desc                                            24-Mar-1990 16:47    1002
p3.ver1.clauses                                    24-Mar-1990 16:47    2828
p3.ver1.in                                         24-Mar-1990 16:47    3132
p3.ver1.out                                        24-Mar-1990 16:47    3864
p3.ver2.clauses                                    24-Mar-1990 16:48    1206
p3.ver2.in                                         24-Mar-1990 16:48    1571
p3.ver2.out                                        24-Mar-1990 16:48    2441
p3.ver3.clauses                                    24-Mar-1990 16:48    2442
p3.ver3.in                                         24-Mar-1990 16:48    2696
p3.ver3.out                                        24-Mar-1990 16:48    2867
p4.desc                                            24-Mar-1990 16:47    1032
p4.ver1.clauses                                    24-Mar-1990 16:47    2566
p4.ver1.in                                         24-Mar-1990 16:47    2870
p4.ver1.out                                        24-Mar-1990 16:48    4230
p4.ver2.clauses                                    24-Mar-1990 16:48    1325
p4.ver2.in                                         24-Mar-1990 16:48    1690
p4.ver2.out                                        24-Mar-1990 16:48    2535
p4.ver3.clauses                                    24-Mar-1990 16:48    2487
p4.ver3.in                                         24-Mar-1990 16:48    2784
p4.ver3.out                                        24-Mar-1990 16:48    3314
p5.desc                                            24-Mar-1990 16:47     767
p5.ver1.clauses                                    24-Mar-1990 16:47    2505
p5.ver1.in                                         24-Mar-1990 16:47    2667
p5.ver1.out                                        24-Mar-1990 16:47    3246
p5.ver3.clauses                                    24-Mar-1990 16:48    2451
p5.ver3.in                                         24-Mar-1990 16:48    2622
p5.ver3.out                                        24-Mar-1990 16:48    3519
p6.desc                                            24-Mar-1990 16:47     766
p6.ver1.clauses                                    24-Mar-1990 16:47    2368
p6.ver1.in                                         24-Mar-1990 16:47    2533
p6.ver1.out                                        24-Mar-1990 16:47    3247
p6.ver3.clauses                                    24-Mar-1990 16:48    2444
p6.ver3.in                                         24-Mar-1990 16:47    2617
p6.ver3.out                                        24-Mar-1990 16:48    3481
p7.desc                                            24-Mar-1990 16:47     771
p7.ver1.clauses                                    24-Mar-1990 16:47    2386
p7.ver1.in                                         24-Mar-1990 16:47    2551
p7.ver1.out                                        24-Mar-1990 16:47    3094
p7.ver3.clauses                                    24-Mar-1990 16:48    2453
p7.ver3.in                                         24-Mar-1990 16:48    2634
p7.ver3.out                                        24-Mar-1990 16:48    1978
p8.desc                                            24-Mar-1990 16:47     576
p8.ver1.clauses                                    24-Mar-1990 16:47    2382
p8.ver1.in                                         24-Mar-1990 16:47    2547
p8.ver1.out                                        24-Mar-1990 16:47    3473
p9.desc                                            24-Mar-1990 16:47     769
p9.ver1.clauses                                    24-Mar-1990 16:47    2349
p9.ver1.in                                         24-Mar-1990 16:47    2514
p9.ver1.out                                        24-Mar-1990 16:47    3507
p9.ver3.clauses                                    24-Mar-1990 16:48    2340
p9.ver3.in                                         24-Mar-1990 16:48    2673
p9.ver3.out                                        24-Mar-1990 16:48    2487