Index of /CTAN/support/proof/

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