Re: PVS GPLed

Freek Wiedijk <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
Josef:

>Again, mostly - here is a quick counterexample. Try uncommenting the 
>commented def in following, and see how the parsing changes:
[...]

Ouch!  So I have always thought the Mizar term parser to
be different from this.  So thanks for showing this example.

Freek
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.