isabelle: Changelog

paulson [Fri, 18 Jan 2002 17:46:17 +0100] rev 12814

tidied

paulson [Fri, 18 Jan 2002 17:45:19 +0100] rev 12813

OOPS

paulson [Fri, 18 Jan 2002 17:44:15 +0100] rev 12812

tweaks

wenzelm [Fri, 18 Jan 2002 15:17:47 +0100] rev 12811

moved document sources to proper place, *within* Library/Library (!);

wenzelm [Thu, 17 Jan 2002 21:07:11 +0100] rev 12810

cover polyml-4.1.2;

wenzelm [Thu, 17 Jan 2002 21:07:00 +0100] rev 12809

RuleCases.make interface based on term instead of thm;

wenzelm [Thu, 17 Jan 2002 21:06:23 +0100] rev 12808

RuleCases.make interface based on term instead of thm; tuned;

wenzelm [Thu, 17 Jan 2002 21:05:58 +0100] rev 12807

atomize_term replaces atomize_cterm;

wenzelm [Thu, 17 Jan 2002 21:05:40 +0100] rev 12806

ObjectLogic.atomize_term replaces ObjectLogic.atomize_cterm;

wenzelm [Thu, 17 Jan 2002 21:04:48 +0100] rev 12805

Thm.prop_of;

isabelle