1993-11-16 | clasohm | made pseudo theories for all ML files; | file | diff | annotate |
1993-10-05 | lcp | ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many | file | diff | annotate |
1993-09-17 | lcp | Installation of new simplifier for ZF. Deleted all congruence rules not | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |