Index of /perdita/cwb/CWBDIR/logic

      Name                    Last modified      Size  Description
      GameCheck.str           2005-02-15 11:17   38K  
      MuCalculusFuns.str      2005-02-15 11:17   26K  
      HMLSat.str              2005-02-15 11:17   18K  
      HMLCheck.str            2005-02-15 11:17   18K  
      Df.str                  2005-02-15 11:17   16K  
      logic.lex.sml           2005-02-15 11:17   14K  
      ParseLogic.str          2005-02-15 11:17  9.1K  
      Logic2.str              2005-02-15 11:17  7.5K  
      MuCalculus.str          2005-02-15 11:17  6.0K  
      ModalityComplex.str     2005-02-15 11:17  4.4K  
      Modality.str            2005-02-15 11:17  3.5K  
      Logic.str               2005-02-15 11:17  2.2K  
      TranslateLogic2.str     2005-02-15 11:17  1.9K  
      ModalityComplex.sig     2005-02-15 11:17  1.6K  
      TranslateLogic.str      2005-02-15 11:17  1.6K  
      ModalityComplexProte..> 2005-02-15 11:17  1.2K  
      Modality.sig            2005-02-15 11:17  1.1K  
      Df.sig                  2005-02-15 11:17  1.0K  
      Logic2Protected.sig     2005-02-15 11:17  1.0K  
      TranslateModality.str   2005-02-15 11:17  1.0K  
      MuCalculusProtected.sig 2005-02-15 11:17  1.0K  
      MuCalculusFuns.sig      2005-02-15 11:17  915   
      HMLSat.sig              2005-02-15 11:17  734   
      HMLCheck.sig            2005-02-15 11:17  674   
      LogicParser.str         2005-02-15 11:17  651   
      GameCheck.sig           2005-02-15 11:17  642   
      ModalityProtected.sig   2005-02-15 11:17  631   
      TranslateModality.sig   2005-02-15 11:17  509   
      TranslateLogic.sig      2005-02-15 11:17  469   
      LogicProtected.sig      2005-02-15 11:17  430   
      Logic.sig               2005-02-15 11:17  401   
      LogicParser.sig         2005-02-15 11:17  359   
      ParseLogic.sig          2005-02-15 11:17  324   
      MuCalculus.sig          2005-02-15 11:17  283