]>
2006-10-25 | Ferruccio Guidi | we removed about 100 match-with costruction turning... | tree | commitdiff |
2006-09-06 | Ferruccio Guidi | plist added | tree | commitdiff |
2006-09-05 | Ferruccio Guidi | new theorems | tree | commitdiff |
2006-09-04 | Ferruccio Guidi | other working theorems + iso_trans axiomatized (proof... | tree | commitdiff |
2006-09-04 | Ferruccio Guidi | firs error: iso/props | tree | commitdiff |
2006-09-04 | Ferruccio Guidi | new organization of the Base and LambdaDelta modules | tree | commitdiff |