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

(* Scripting buffer for theory B *)

val a = ();
val it = ();