Index of /tools/term-patterns

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      maude2.7-bin.tar.gz     2015-05-04 23:49  2.5M  
      pat-solve-rel.tar.gz    2015-05-04 23:50  380K  
      pichler-ex.maude        2015-05-04 23:52  556   
      simple-diff2.maude      2015-05-04 23:52  177   
      succ-ex1.maude          2015-05-04 23:52  341