Index of /pub/dcurtis-temp/lptest/lp3.1b/axioms

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]README1993-03-17 14:59 1.5K 
[ ]b-ring.lp1993-06-02 13:02 1.2K 
[ ]set1.lp1994-12-20 13:06 1.1K 
[ ]boolxor.lp1993-06-02 14:40 1.1K 
[ ]boolequiv.lp1993-06-02 14:41 1.0K 
[ ]int.lp1995-05-26 15:49 963  
[ ]nat.lp1994-12-20 13:06 834  
[ ]set2.lp1994-12-20 13:06 699  
[ ]ring-u.lp1993-06-02 14:50 657  
[ ]grt.lp1993-06-04 10:45 648  
[ ]group2.lp1993-06-02 14:44 616  
[ ]ring.lp1993-06-02 14:51 595  
[ ]c-ring-u.lp1993-09-19 12:06 571  
[ ]c-ring.lp1993-06-02 14:43 521  
[ ]list.lp1995-10-31 09:58 481  
[ ]abgrp.lp1993-09-15 14:55 469  
[ ]group1.lp1993-09-21 17:58 432  
[ ]lattice.lp1993-09-22 08:24 408  
[ ]bool.lp1993-06-02 13:04 406  
[ ]taussky.lp1993-06-02 15:00 304  
[ ]ackermann.lp1993-06-02 12:59 287  
[ ]l-r.lp1993-06-02 14:49 226  
[ ]group.lp1993-09-19 12:10 226  
[ ]Makefile1994-12-01 15:01 183