31
32 (* Syntactic classes *)
33
34 use_thy "Product";
35 use_thy "ProductInsts";
36
37 make_chart (); (*make HTML chart*)