Index of /versions/2.1

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      maude-aix.tar.gz        2004-03-25 02:47  4.0M  
      maude-ppc-linux.tar.gz  2004-03-25 02:47  1.4M  
      maude-alpha.tar.gz      2004-03-25 02:47  1.3M  
      Maude-2.1.tar.gz        2004-03-25 02:39  1.1M  
      maude-x86-linux.tar.gz  2004-03-25 02:47  1.1M  
      maude-sparc-solaris...> 2004-03-25 02:47  898K  
      maude-freeBSD.tar.gz    2004-03-25 02:47  886K  
      maude-darwin.tar.gz     2004-03-25 02:47  857K  
      full-maude.maude        2004-03-25 02:36  519K  
      prelude.maude           2004-03-25 02:43   46K  
      Changes                 2004-03-25 02:35   14K  
      model-checker.maude     2004-03-25 02:43  9.5K