1
load_printer "gramlib.cma"
2
load_printer "printers.cma"
4
install_printer Top_printers.ppid
5
install_printer Top_printers.ppidset
6
install_printer Top_printers.ppintset
7
install_printer Top_printers.pplab
8
install_printer Top_printers.ppmsid
9
install_printer Top_printers.ppmbid
10
install_printer Top_printers.ppdir
11
install_printer Top_printers.ppmp
12
install_printer Top_printers.ppkn
13
install_printer Top_printers.ppcon
14
install_printer Top_printers.ppsp
15
install_printer Top_printers.ppqualid
16
install_printer Top_printers.ppclindex
17
install_printer Top_printers.ppbigint
19
install_printer Top_printers.pppattern
20
install_printer Top_printers.pprawconstr
22
install_printer Top_printers.ppconstr
23
install_printer Top_printers.ppuni
24
install_printer Top_printers.ppuniverses
25
install_printer Top_printers.ppconstraints
26
install_printer Top_printers.pptype
27
install_printer Top_printers.ppj
28
install_printer Top_printers.ppenv
30
install_printer Top_printers.ppgoal
31
install_printer Top_printers.ppsigmagoal
32
install_printer Top_printers.pproof
33
install_printer Top_printers.ppmetas
34
install_printer Top_printers.ppevd
35
install_printer Top_printers.ppevm
36
install_printer Top_printers.ppclenv
38
install_printer Top_printers.pptac
39
install_printer Top_printers.ppobj
40
install_printer Top_printers.pploc
41
install_printer Top_printers.prsubst