Index of /~lloyd/tilde/Semantics/B/pro

      Name                    Last modified       Size  Description


[DIR] Parent Directory        15-Apr-2005 14:56      -  
[   ] append.pro              12-Sep-2001 12:19     1k  
[   ] diff.pro                12-Sep-2001 12:19     1k  
[   ] royal.pro               12-Sep-2001 12:19     1k
^Semantics^ ^other examples^   <Prolog semantics<