prjm/derived/Creation.m3


MODULE Creation;

BEGIN
  Date   := "2012-08-26 03:56:29";
  System := "Linux 2.6.26-2-amd64 x86_64";
END Creation.

interface Creation is in: