Thread Index (0301)

[Chronological Index] [Top]

Last update: Thu Dec 16 20:23:19 2021
41 threaded messages

[mizar] Scheme for func definition with Fraenkel operator?, Freek Wiedijk

Re: [mizar] Scheme for func definition with Fraenkel operator?, Adam Naumowicz
- Re: [mizar] Scheme for func definition with Fraenkel operator?, Freek Wiedijk
Re: [mizar] Scheme for func definition with Fraenkel operator?, Josef Urban
Re: [mizar] Scheme for func definition with Fraenkel operator?, Adam Grabowski
Re: [mizar] Scheme for func definition with Fraenkel operator?, Grzegorz Bancerek
- Re: [mizar] Scheme for func definition with Fraenkel operator?, Freek Wiedijk
  - [mizar] Isn't "Subset of" the same as "Element of bool"?, Freek Wiedijk
    - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Grzegorz Bancerek
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Grzegorz Bancerek
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Freek Wiedijk
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Freek Wiedijk
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Adam Naumowicz
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Freek Wiedijk
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Josef Urban
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Josef Urban
      - Re: [mizar] Isn't "Subset of" the same as "Element of bool"?, Freek Wiedijk
  - Re: [mizar] Scheme for func definition with Fraenkel operator?, Piotr Rudnicki
    - Re: [mizar] Scheme for func definition with Fraenkel operator?, Freek Wiedijk

[mizar] New Mizar articles, Adam Grabowski

[mizar] Assumption in redefinition?, Freek Wiedijk
- Re: [mizar] Assumption in redefinition?, Adam Naumowicz
  - Re: [mizar] Assumption in redefinition?, Freek Wiedijk
    - Re: [mizar] Assumption in redefinition?, Artur Kornilowicz

Re: [mizar] Mizar grammar up to date?, Josef Urban

Re: [mizar] Mizar grammar up to date?, Freek Wiedijk
- Re: [mizar] Mizar grammar up to date?, Josef Urban
  - Re: [mizar] Mizar grammar up to date?, Grzegorz Bancerek
    - [mizar] Paradox, Freek Wiedijk
      - Re: [mizar] Paradox, Piotr Rudnicki

[mizar] New Mizar article, Adam Grabowski

[mizar] MoMM 0.2, Josef Urban

[mizar] Another factor..., Freek Wiedijk
- Re: [mizar] Another factor..., Piotr Rudnicki
  - Re: [mizar] Another factor..., Freek Wiedijk
    - Re: [mizar] Another factor..., Josef Urban
    - Re: [mizar] Another factor..., Freek Wiedijk
      - Re: [mizar] Another factor..., Artur Kornilowicz
      - Re: [mizar] Another factor..., Freek Wiedijk
      - Re: [mizar] Another factor..., Piotr Rudnicki

[mizar] MKM 2003 -- Call for participation, Claudio Sacerdoti Coen

[Chronological Index] [Top]