src/Provers/project_rule.ML
2007-04-03 wenzelm 2007-04-03 renamed Variable.import to import_thms (avoid clash with Alice keywords);
2006-07-26 wenzelm 2006-07-26 Variable.import(T): result includes fixed types/terms;
2006-06-17 wenzelm 2006-06-17 ProofContext.export: singleton;
2006-06-15 wenzelm 2006-06-15 ProofContext: moved variable operations to struct Variable;
2006-06-13 wenzelm 2006-06-13 ProjectRule now context dependent;
2005-12-22 wenzelm 2005-12-22 Transform mutual rule into projection.