[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Re: a term representing the extension of a type

Andrzej Trybulec <trybulec@math.uwb.edu.pl> writes:

> you probably need in the Environment Declaration
>
>   registrations FRAENKEL;

Why?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*70: Something remains to be proved