Return to minimal-test.k CVS log | Up to [local] / OpenXM / src / k097 / lib / minimal |
version 1.22, 2000/08/30 04:07:56 | version 1.23, 2000/12/10 03:12:20 | ||
---|---|---|---|
|
|
||
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.21 2000/08/24 00:48:58 takayama Exp $ */ | /* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.22 2000/08/30 04:07:56 takayama Exp $ */ | ||
load["minimal.k"]; | load["lib/minimal/minimal.k"]; | ||
def sm1_resol1(p) { | def sm1_resol1(p) { | ||
sm1(" p resol1 /FunctionValue set "); | sm1(" p resol1 /FunctionValue set "); | ||
} | } |