Index of /ctan/support/proof/


../
README                                             30-Sep-2002 16:12                3879
edit                                               30-Sep-2002 16:10                 487
example.mf                                         30-Sep-2002 16:10                3761
example.mp                                         30-Sep-2002 16:10                1986
example.tex                                        30-Sep-2002 16:10               11767
install                                            30-Sep-2002 16:10                1929
proof                                              30-Sep-2002 16:10               10965
proof.1                                            30-Sep-2002 16:13               10044
proofrc                                            30-Sep-2002 16:10                5696