Thread Index
(0208)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:18 2021
49 threaded messages
Re: [mizar] Re: Mizar Parser,
Freek Wiedijk
Re: [mizar] Medice, cura te ipsum,
Adam Naumowicz
Re: [mizar] XML DTD for Mizar articles?,
Freek Wiedijk
Re: [mizar] Lexical resources,
Grzegorz Bancerek
[mizar] A. Asperti's offer,
Piotr Rudnicki
- Re: [mizar] A. Asperti's offer,
Freek Wiedijk
- Re: [mizar] A. Asperti's offer,
Josef Urban
- Re: [mizar] A. Asperti's offer,
Freek Wiedijk
- Re: [mizar] A. Asperti's offer,
Piotr Rudnicki
- Re: [mizar] A. Asperti's offer,
Freek Wiedijk
- Re: [mizar] A. Asperti's offer,
Piotr Rudnicki
- Re: [mizar] A. Asperti's offer,
Grzegorz Bancerek
- [mizar] How to properly do inductive sets in Mizar?,
Freek Wiedijk
- Re: [mizar] How to properly do inductive sets in Mizar?,
Freek Wiedijk
- Re: [mizar] How to properly do inductive sets in Mizar?,
Josef Urban
- Re: [mizar] How to properly do inductive sets in Mizar?,
Freek Wiedijk
- [mizar] "one line" form of abstracts,
Artur Kornilowicz
- Re: [mizar] "one line" form of abstracts,
Josef Urban
- Re: [mizar] "one line" form of abstracts,
Freek Wiedijk
- Re: [mizar] "one line" form of abstracts,
Artur Kornilowicz
- [mizar] Possible language extension?,
Freek Wiedijk
- Re: [mizar] Possible language extension?,
Andrzej Trybulec
- Re: [mizar] A. Asperti's offer,
Andrea Asperti
[mizar] Was this supposed to be so?,
Piotr Rudnicki
[mizar] New Mizar articles,
Adam Grabowski
[mizar] Maintenace break of Megrez services,
Grzegorz Bancerek
[mizar] Test,
Piotr Rudnicki
[mizar] [piotr@sedalia.cs.ualberta.ca: A request from W W Armstrong],
Piotr Rudnicki
[mizar] [arms@dendronic.com: Re: A request from W W Armstrong],
Piotr Rudnicki
[Chronological Index]
[Top]