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

      Name                    Last modified       Size  Description


[DIR] Parent Directory        24-Feb-2011 19:09      -  
[   ] royal.pro               12-Sep-2001 12:19     1k  
[   ] diff.pro                12-Sep-2001 12:19     1k  
[   ] append.pro              12-Sep-2001 12:19     1k
^Semantics^ ^other examples^   <Prolog semantics<