Index of /Darcs/Djinn/tests/ljt

 Name                    Last modified       Size  Description

 Parent Directory        11-Jul-2007 23:49      -  
 con_n.002.ljt           11-Jul-2007 23:49     2k  
 con_n.006.ljt           11-Jul-2007 23:49     2k  
 con_n.010.ljt           11-Jul-2007 23:49     2k  
 con_p.002.ljt           11-Jul-2007 23:49     2k  
 con_p.006.ljt           11-Jul-2007 23:49     2k  
 con_p.010.ljt           11-Jul-2007 23:49     2k  
 debruijn_n.002.ljt      11-Jul-2007 23:49     2k  
 debruijn_n.006.ljt      11-Jul-2007 23:49     4k  
 debruijn_n.010.ljt      11-Jul-2007 23:49     7k  
 debruijn_p.002.ljt      11-Jul-2007 23:49     2k  
 debruijn_p.006.ljt      11-Jul-2007 23:49     4k  
 debruijn_p.010.ljt      11-Jul-2007 23:49     7k  
 equiv_n.002.ljt         11-Jul-2007 23:49     2k  
 equiv_n.006.ljt         11-Jul-2007 23:49     2k  
 equiv_n.010.ljt         11-Jul-2007 23:49     2k  
 equiv_p.002.ljt         11-Jul-2007 23:49     2k  
 equiv_p.006.ljt         11-Jul-2007 23:49     2k  
 equiv_p.010.ljt         11-Jul-2007 23:49     2k  
 kk_n.002.ljt            11-Jul-2007 23:49     2k  
 kk_n.006.ljt            11-Jul-2007 23:49     2k  
 kk_n.010.ljt            11-Jul-2007 23:49     3k  
 kk_p.002.ljt            11-Jul-2007 23:49     2k  
 kk_p.006.ljt            11-Jul-2007 23:49     2k  
 kk_p.010.ljt            11-Jul-2007 23:49     3k  
 ph_n.002.ljt            11-Jul-2007 23:49     2k  
 ph_n.006.ljt            11-Jul-2007 23:49     5k  
 ph_n.010.ljt            11-Jul-2007 23:49    15k  
 ph_p.002.ljt            11-Jul-2007 23:49     2k  
 ph_p.006.ljt            11-Jul-2007 23:49     5k  
 ph_p.010.ljt            11-Jul-2007 23:49    14k  
 sch_ax.ljt              11-Jul-2007 23:49     1k  
 sch_implies.ljt         11-Jul-2007 23:49     1k  
 sch_jens_prop.ljt       11-Jul-2007 23:49     2k  
 sch_mult.002.ljt        11-Jul-2007 23:49     2k  
 sch_mult.003.ljt        11-Jul-2007 23:49     2k  
 sch_mult.004.ljt        11-Jul-2007 23:49     2k  
 sch_notnot.ljt          11-Jul-2007 23:49     1k  
 sch_notnot2.ljt         11-Jul-2007 23:49     1k  
 sch_prop_n.001.ljt      11-Jul-2007 23:49     2k  
 sch_prop_n.002.ljt      11-Jul-2007 23:49     2k  
 sch_prop_n.003.ljt      11-Jul-2007 23:49     2k  
 sch_prop_n.004.ljt      11-Jul-2007 23:49     2k  
 schwicht_n.002.ljt      11-Jul-2007 23:49     2k  
 schwicht_n.006.ljt      11-Jul-2007 23:49     2k  
 schwicht_n.010.ljt      11-Jul-2007 23:49     3k  
 schwicht_p.002.ljt      11-Jul-2007 23:49     2k  
 schwicht_p.006.ljt      11-Jul-2007 23:49     2k  
 schwicht_p.010.ljt      11-Jul-2007 23:49     3k