Index of /versions/2.1

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