login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit history for SandboxNullaryVsConstant


Version Note Size Editor Time
Constants compile in Open-Axiom 667 Bill Page 2008/07/07 17:21:54 GMT-7
Constants compile in Open-Axiom 667 Bill Page 2008/07/07 17:21:54 GMT-7
Constants compile in Open-Axiom 667 Bill Page 2008/07/07 17:21:54 GMT-7
275 hemmecke 2008/07/07 16:58:25 GMT-7