nat
fix conflict on NAT.flg
alloy: proper paren usage
auto switch_has_port: don't need manual rules
alloy translator
alloy translator
allow event decls to be fieldness
minor alloy translator
alloy translator
alloy: quick clumsy attempt to use prettyprinting
alloy: beginning to properly subst ontology mismatches
alloy translator
alloy translator
alloy translator
alloy translator
alloy translator
add comments: alloy translator
alloy translation
allow empty flg files. fix import_built in ASTs
removed shp handling from arp cache