Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.MizarTechniquesr1.1 - 05 Jul 2002 - 18:27 - WikiRoottopic end
Start of topic | Skip to actions

How to attack a theory, typical solutions to typical problems

  • CopyAndPaste?: Pros and cons
  • PrivateLibrary?
  • TypeCasting?
  • PrivateVsPublicTheorems?
  • ClustersVsRedefinitions?

-- WikiRoot - 05 Jul 2002
to top

End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.1 | Total page history | Backlinks
You are here: Mizar > MizarTechniques

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback