#set path "/home/trantor.22/dale/www/lProlog/examples/tactics/ " path.

#load "goals.mod".
#load "tacticals.mod".
#load "inter_tacs.mod".
#load "toploop.mod".