%%
%% This is file `proofnet.pro',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% proofnet.dtx  (with options: `psheader-start')
%% proofnet.dtx  (with options: `psheader')
%% proofnet.dtx  (with options: `psheader-end')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from proofnet.pro.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file proofnet.dtx proofnet.dtx proofnet.dtx.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)

%%!
%% PostScript prologue for proofnet.sty
%%
/PN@Dict 40 dict def
PN@Dict begin
  /edef { exch def } bind def

  /tan { dup sin exch cos div } bind def
  /vert? { cos 0 eq } bind def
  /par? { 2 copy
         vert? { pop pop vert? }
         { vert? { pop pop false }
           {tan exch tan abs eq} ifelse }
         ifelse } bind def
  /isectarmA {
    AngleA AngleB par? { 0 }
    { AngleB vert?
        { xB xA sub AngleA cos div }
      { AngleA vert?
          { yB xB xA sub AngleB tan div sub yA sub }
        { AngleA AngleB add sin dup
          0 eq
            { pop xB xA sub AngleA sin div
              yB yA sub AngleB cos div
              add 2 div }
          { xB xA sub AngleB sin mul
            yB yA sub AngleB cos mul
            sub exch div
          } ifelse }
        ifelse}
      ifelse }
    ifelse } bind def
/asin { dup dup mul 1 exch sub sqrt atan } bind def
/r1 .4 def
/r2 .7 def
/alpha1 60 def
/alpha2 alpha1 sin r1 mul r2 div asin def
/d alpha2 cos r2 mul alpha1 cos r1 mul sub def
/x1 d r1 sub r2 sub 2 div def
/x2 x1 d sub def
/hght alpha1 sin r1 mul def
/arms r1 x1 add def
/brck alpha1 cos r1 mul neg def
  /concstr {
    exch 2 copy length exch length add string
    2 copy 0 3 -1 roll putinterval
    dup 4 2 roll length exch putinterval
  } bind def
  /max {2 copy lt {exch} if pop} bind def
  /min {2 copy gt {exch} if pop} bind def
  /cornername {
     exch concstr (N@) exch concstr cvn  } bind def
  /boxnorm {
    3 -1 roll 4 copy
    min 7 1 roll min 6 1 roll
    max 5 1 roll max 4 1 roll } bind def
  /getpoint {
    tx@Dict begin tx@NodeDict begin
      /N@pn@cn load GetCenter
    end end
     } bind def
  /setcorner {
    /Getcoord edef /Name edef
    tx@NodeDict Name known not
      { { PN@Dict begin getpoint end } }
    { /SaveCnr Name
      tx@NodeDict begin load end def
      { PN@Dict begin
         SaveCnr
         tx@NodeDict begin GetCenter end
         getpoint boxnorm Getcoord exec
      end } } ifelse
    false Name 10
    tx@Dict begin
      tx@NodeDict begin {InitPnode } NewNode end
    end
  } bind def
  /addtobbox {
    dup (pn@BL) cornername
      exch (pn@TR) cornername { pop pop } setcorner
    { 4 2 roll pop pop } setcorner
  } bind def

end
%% End of file `proofnet.pro'.
%%
%% End of file `proofnet.pro'.