/* $OpenXM: OpenXM/src/k097/lib/all.k,v 1.1 2006/10/01 05:49:22 takayama Exp $ */
/* Call this module with load["lib/all.k"];; 
*/

NoX=1;
load["lib/restriction/restriction.k"];;
load("lib/ox/ox.k");;
load["lib/restriction/deRham.k"];;