% First-order formulas: declarations, and a printer and parser. #load "/home/trantor.22/dale/www/lProlog/examples/fol/go". % Generic tactic and tactical predicates #load "/home/trantor.22/dale/www/lProlog/examples/tactics/go". % Next added the rules for first-order, cut-free sequent proof system % for intuitionistic logic (modelled on a system given by Gentzen). #load "lj/lj.mod". #load "lj/rules.mod". #load "lj/ljtacs.mod". % Some predicates for printing to an html file. #load "lj/html.mod". % This file is the top-level interpreter. #load "lj/displays.mod". % #load "utacs.mod". #load "lj/top.mod".