Handle all cases in execute_new_axioms.
Fix compiler warning about field_type.
Merge branch 'master' of github.com:flavioc/meld into teststableVM
Remove.
Remove files.
Remove more files.
reformated, added USERFRIENDLY
reformated, All is now global to vm::all
got rid of deleted variable
theProgram global to all->program
got rid of prog arg to rule_matcher constructor, use global
reformated, All is now global to vm::all, theProgram global to all->program
reformated
reformated, All is now global to vm::all
reformated, All is now global to vm::all
reformated
reformated, All is now global to vm::all
reformated, All is now global to vm::all
reformated, All is now global to vm::all
reformated, All is now global to vm::all, theProgram global to all->program