isabelle: Changelog

wenzelm [Sat, 08 Jul 2006 12:54:40 +0200] rev 20052

presburger_ss: proper context; Goal.prove: context;

wenzelm [Sat, 08 Jul 2006 12:54:39 +0200] rev 20051

tuned;

wenzelm [Sat, 08 Jul 2006 12:54:38 +0200] rev 20050

avoid Force_tac, which uses a different context;

wenzelm [Sat, 08 Jul 2006 12:54:37 +0200] rev 20049

Goal.prove: context;

wenzelm [Sat, 08 Jul 2006 12:54:36 +0200] rev 20048

tactic/method simpset: maintain proper context;

wenzelm [Sat, 08 Jul 2006 12:54:35 +0200] rev 20047

Goal.prove_global; SkipProof.prove: context;

wenzelm [Sat, 08 Jul 2006 12:54:33 +0200] rev 20046

Goal.prove_global;

wenzelm [Sat, 08 Jul 2006 12:54:32 +0200] rev 20045

simprocs: no theory argument -- use simpset context instead; tuned interfaces;

wenzelm [Sat, 08 Jul 2006 12:54:30 +0200] rev 20044

simprocs: no theory argument -- use simpset context instead;

wenzelm [Sat, 08 Jul 2006 12:54:29 +0200] rev 20043

updated;

isabelle