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

(* Scripting buffer for theory B *)

val b = 0;
val b1 = 1;