path: root/etc/isa/multiple/C.ML

(* Scripting buffer for theory C *)

val c1 = 4;
val c = 5;