Thread Index (0812)

[Chronological Index] [Top]
Last update: Thu Jan 01 00:15:01 2009
33 threaded messages

  • Re: [mizar] an extension of the mizar language for dealing with article metadata, Josef Urban
  • [mizar] vocabullaries, trybulec
  • [mizar] [lp15@cam.ac.uk: [isabelle] MetiTarski theorem prover], Piotr Rudnicki
  • [mizar] mizar.pl, Piotr Rudnicki
  • [mizar] mizara.pl, Piotr Rudnicki
  • [mizar] Help request: Fraenkel term definition, Greg Frascadore
  • [mizar] New Mizar articles, Adam Grabowski

    • [Chronological Index] [Top]