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

Edit history for SandBox Aldor Join and Meet


Version Note Size Editor Time
new version of FriCAS and Aldor interface 2726 page 2008/08/06 20:49:29 GMT-7
lattice absorption axioms fail to compile 2726 Bill Page 2007/11/21 11:32:36 GMT-8
2497 127.0.0.1 2007/11/20 01:59:04 GMT-8
Axiom library does not define 'Meet' 1962 page 2007/11/19 19:06:26 GMT-8
Axiom library does not define 'Meet' 1962 page 2007/11/19 18:51:10 GMT-8
Axiom library does not define 'Meet' 1203 page 2007/11/19 18:09:51 GMT-8
Oleg Golubitsky example 744 page 2007/11/19 18:07:02 GMT-8
Oleg Golubitsky example 744 page 2007/11/19 18:04:02 GMT-8