]>
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 |