Versions Compared

Old Version 2

changes.mady.by.user user-823a7

Saved on

compared with

New Version Current

changes.mady.by.user user-823a7

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

NuPRL System Wiki

link to nuprl.org ->

Term notation : some notes about how nuprl terms are represented as text in this wiki.