-
Alexander Soen authored
The datatype translation seems to be working now for standard sets. Currently abstractions need to be implementation and also a mechanism to generally translate theorems and other objects in hol.
52d6d61b
The datatype translation seems to be working now for standard sets. Currently abstractions need to be implementation and also a mechanism to generally translate theorems and other objects in hol.