Name Last modified Size Description
glr.ps 1999-01-05 12:01 591K coinduction.ps 1999-06-11 18:39 295K binding.ps 1999-01-14 15:40 288K rectypes.ps 1996-04-19 18:00 188K binding.dvi 1999-01-15 17:20 102K coinduction.dvi 1999-06-11 18:39 99K glr.dvi 1999-01-05 12:01 79K rectypes.dvi 1996-04-19 17:59 75K coinduction.abs 1999-06-11 18:39 1.1K binding.abs 1999-01-15 17:15 898 rectypes.abs 1996-04-19 18:06 686 glr.abs 1999-01-05 12:06 663