Initial revision
get-names.pl won't accept two-line %mode decl.
Initial revision
Initial revision
- changed wellformed to wf.
- use data`wf instead of data`size.
- fixed some naming issue
- fixed fresh-update-preserves-wf-converse to not require data`wf.
- shift-preserves-remove
- fixed fresh-update-preserves-wf-converse to also produce data`wf in output.
- changed set to data
add library-extra
Merge branch 'master' of ../library-extra
- merged library-extra into reftype.
- changed Makefile