/[mojave]/metaprl/theories/czf/Makefile
ViewVC logotype

Diff of /metaprl/theories/czf/Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3565 by xiny, Sun Mar 24 08:29:36 2002 UTC revision 3566 by xiny, Tue Apr 9 05:56:39 2002 UTC
# Line 46  Line 46 
46          czf_itt_bool\          czf_itt_bool\
47          czf_itt_equiv\          czf_itt_equiv\
48          czf_itt_group\          czf_itt_group\
49            czf_itt_group_bvd\
50          czf_itt_abel_group\          czf_itt_abel_group\
51          czf_itt_subgroup\          czf_itt_subgroup\
52            czf_itt_coset\
53            czf_itt_normal_subgroup\
54          czf_itt_cyclic_subgroup\          czf_itt_cyclic_subgroup\
55          czf_itt_cyclic_group\          czf_itt_cyclic_group\
56          czf_itt_hom          czf_itt_hom\
57            czf_itt_iso
58    
59  MLZFILES :=\  MLZFILES :=\
60          czf_itt_fol\          czf_itt_fol\

Legend:
Removed from v.3565  
changed lines
  Added in v.3566

  ViewVC Help
Powered by ViewVC 1.1.26