Thread Index (0611)

[Chronological Index] [Top]
Last update: Thu Nov 30 00:15:01 2006
18 threaded messages

  • Re: [mizar] Question on parsing term expression with "qua"., Josef Urban
  • [mizar] automatic `Subset of' typing, Jesse Alama
  • [mizar] a term representing the extension of a type, Jesse Alama

    • [Chronological Index] [Top]