Index of /pub/ATP_problems/algebra/groups/


../
Group.ax.eq.clauses                                24-Mar-1990 16:47    1597
Group.ax.g.clauses                                 24-Mar-1990 16:47    2730
Group.ax.p.clauses                                 24-Mar-1990 16:47    1635
Lemmas.eq.clauses                                  24-Mar-1990 16:47     779
Lemmas.p.clauses                                   24-Mar-1990 16:47     878
README                                             24-Mar-1990 16:47    4296
commutator.desc                                    24-Mar-1990 16:47     792
commutator.ver1.clauses                            24-Mar-1990 16:47    1754
commutator.ver1.in                                 24-Mar-1990 16:47    2039
commutator.ver2.clauses                            24-Mar-1990 16:47    1598
commutator.ver2.in                                 24-Mar-1990 16:47    1848
cyclic.desc                                        24-Mar-1990 16:47     730
cyclic.ver3.in                                     24-Mar-1990 16:47    3819
cyclic.ver3.out                                    24-Mar-1990 16:47    4657
ident1.desc                                        24-Mar-1990 16:47     544
ident1.ver1.clauses                                24-Mar-1990 16:47    1804
ident1.ver1.in                                     24-Mar-1990 16:47    1942
ident1.ver1.out                                    24-Mar-1990 16:47    7513
ident2.desc                                        24-Mar-1990 16:47     693
ident2.ver1.clauses                                24-Mar-1990 16:47    2025
ident2.ver1.in                                     24-Mar-1990 16:47    2162
ident2.ver1.out                                    24-Mar-1990 16:47    7982
index.desc                                         24-Mar-1990 16:47    1646
index.ver1.clauses                                 24-Mar-1990 16:47    3030
index.ver1.in                                      24-Mar-1990 16:47    3427
index.ver1.out                                     24-Mar-1990 16:47    4390
index.ver2.clauses                                 24-Mar-1990 16:47    2707
index.ver2.in                                      24-Mar-1990 16:47    3044
invers1.desc                                       24-Mar-1990 16:47     426
invers1.ver1.clauses                               24-Mar-1990 16:47    1790
invers1.ver1.in                                    24-Mar-1990 16:47    1927
invers1.ver1.out                                   24-Mar-1990 16:47    8624
invers2.desc                                       24-Mar-1990 16:47     517
invers2.ver1.clauses                               24-Mar-1990 16:47    1678
invers2.ver1.in                                    24-Mar-1990 16:47    1906
invers2.ver1.out                                   24-Mar-1990 16:47    7991
order2.desc                                        24-Mar-1990 16:47    1643
order2.ver3.clauses                                24-Mar-1990 16:47    3314
order2.ver3.in                                     24-Mar-1990 16:47    3646
order2.ver3.out                                    24-Mar-1990 16:47    5641
order2.ver4.clauses                                24-Mar-1990 16:47    4524
order2.ver4.in                                     24-Mar-1990 16:47    4897
order2.ver4.out                                    24-Mar-1990 16:47    5773
order3.desc                                        24-Mar-1990 16:47    1623
order3.ver3.clauses                                24-Mar-1990 16:47    3532
order3.ver3.in                                     24-Mar-1990 16:47    3864
order3.ver3.out                                    24-Mar-1990 16:47    5487
order3.ver4.clauses                                24-Mar-1990 16:47    5359
order3.ver4.in                                     24-Mar-1990 16:47    5923
order3.ver4.out                                    24-Mar-1990 16:47    6732
xsquared.desc                                      24-Mar-1990 16:47     621
xsquared.ver1.clauses                              24-Mar-1990 16:47    1682
xsquared.ver1.in                                   24-Mar-1990 16:47    1961
xsquared.ver1.out                                  24-Mar-1990 16:47    7897
xsquared.ver2.clauses                              24-Mar-1990 16:47    1536
xsquared.ver2.in                                   24-Mar-1990 16:47    1785
xsquared.ver2.out                                  24-Mar-1990 16:47     10K