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

(* Scripting buffer for theory C *)

val c = 5;