Re: [mizar] Once more: empty types

Hi:

Somebody asked me how many times

     consider x being theta;

is used in MML. It is 2960 in 566 articles. Some Authors like it, e.g.Josef Urban.


Regards,
Andrzej

Follow-Ups:
- Re: [mizar] Once more: empty types
  - From: Freek Wiedijk <freek@cs.ru.nl>

References:
- [mizar] copy/paste detection in MML
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- [mizar] Once more: empty types
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Once more: empty types
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Once more: empty types
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Once more: empty types
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>
- Re: [mizar] Once more: empty types
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Once more: empty types
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>