(* 
NOTE: You have to set the environment variable ISAFOR_AFP
to the 'thys' directory of your local AFP copy, in order
for this file to work. This should be done in your
  $ISABELLE_HOME_USER/etc/settings
file
*)
add_path "$ISAFOR_AFP/Abstract-Rewriting";
add_path "$ISAFOR_AFP/Matrix";
use_thys [
  "AbstractRewriting",
  "MatrixCarrier"
];