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

(* Scripting buffer for theory A *)

1;

(* A few commands so that we can test partial-retraction. *)

2;

3;