[helm.git] / weblib / While / semantics.ma

(* new script *)

include "While/syntax.ma".  


(* state *)

definition state ≝ \