isabelle: Changelog

wenzelm [Sat, 17 Jun 2006 19:37:50 +0200] rev 19909

added exists_subtype; added internal/skolem (from Syntax/lexicon.ML); added generalize(T);

wenzelm [Sat, 17 Jun 2006 19:37:49 +0200] rev 19908

added generalize rule;

wenzelm [Sat, 17 Jun 2006 19:37:48 +0200] rev 19907

Term.skolem;

wenzelm [Sat, 17 Jun 2006 19:37:47 +0200] rev 19906

Term.internal;

wenzelm [Sat, 17 Jun 2006 19:37:46 +0200] rev 19905

ProofContext.export: singleton;

wenzelm [Sat, 17 Jun 2006 19:37:45 +0200] rev 19904

RuleCases.mutual_rule: ctxt; ProofContext.exports: simultaneous facts;

wenzelm [Sat, 17 Jun 2006 19:37:43 +0200] rev 19903

RuleCases.mutual_rule: ctxt; Term.internal; ProofContext.exports: simultaneous facts;

dixon [Sat, 17 Jun 2006 18:58:12 +0200] rev 19902

added interface for making term contexts.

haftmann [Fri, 16 Jun 2006 09:08:34 +0200] rev 19901

fixed symlink bug

wenzelm [Thu, 15 Jun 2006 23:10:45 +0200] rev 19900

ProofContext: moved variable operations to struct Variable; tuned;

isabelle