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

(* Scripting buffer for theory D *)

val it = ();