test/Tools/isac/ProgLang/term.sml
Tue, 14 Sep 2010 12:12:42 +0200 adapted is_copy_named from v___ to v'''