| Version |
Note |
Size |
Editor |
Time |
|
|
problems with values of domains in types |
5026 |
Bill Page |
2008/09/20 17:12:46 GMT-7 |
|
|
coercion of domain to InputForm in Spad |
4531 |
Bill Page |
2008/09/19 10:33:41 GMT-7 |
|
|
Waldek's example |
3198 |
Bill Page |
2008/09/18 19:18:12 GMT-7 |
|
|
better coercion to InputForm |
3050 |
Bill Page |
2008/09/18 18:40:54 GMT-7 |
|
|
coercion to InputForm |
3019 |
Bill Page |
2008/09/18 18:18:40 GMT-7 |
|
|
Domain and SubDomain |
2042 |
Bill Page |
2008/09/18 13:36:53 GMT-7 |
|
|
quick initial reference |
225 |
Bill Page |
2008/07/23 15:09:09 GMT-7 |