Thread Index (0612)

[Chronological Index] [Top]
Last update: Fri Dec 29 00:15:01 2006
16 threaded messages

  • [mizar] New Mizar version 7.8.03, Adam Grabowski
  • [mizar] Re: a term representing the extension of a type, Jesse Alama
  • [mizar] feature request: include a semantic representaion of the mml in the mizar distribution, Jesse Alama
  • [mizar] the rank + nullity = dimension theorem in the mml, Jesse Alama
  • [mizar] emm, Jesse Alama
  • [mizar] busted link on mizar bibliography page, Jesse Alama

    • [Chronological Index] [Top]