- let pres_goal =
- make_tr (term2pres ty) in
- (p_mtable
- [None,"align","baseline 1"; None,"equalrows","false";
- None,"columnalign","left"; None,"rowlines","solid"]
- [pres_context;pres_goal])
+ let pres_goal = term2pres ty in
+ (Box.b_v
+ []
+ [pres_context;
+ b_ink [None,"width","4cm"; None,"height","1px"];
+ pres_goal])