isabelle: Changelog

wenzelm [Fri, 19 Oct 2001 22:01:25 +0200] rev 11838

got rid of ML proof scripts for Product_Type;

wenzelm [Fri, 19 Oct 2001 22:00:08 +0200] rev 11837

got rid of Provers/split_paired_all.ML;

wenzelm [Fri, 19 Oct 2001 21:59:33 +0200] rev 11836

improved default dependencies;

wenzelm [Fri, 19 Oct 2001 12:17:04 +0200] rev 11835

revert to proper version (!);

wenzelm [Thu, 18 Oct 2001 21:27:47 +0200] rev 11834

GPLed;

wenzelm [Thu, 18 Oct 2001 21:22:40 +0200] rev 11833

tuned;

wenzelm [Thu, 18 Oct 2001 21:07:29 +0200] rev 11832

use abstract product type instead of datatype;

wenzelm [Thu, 18 Oct 2001 21:05:35 +0200] rev 11831

moved atomize stuff to theory HOL;

wenzelm [Thu, 18 Oct 2001 21:03:43 +0200] rev 11830

legacy interfaces for axclass instantiation;

wenzelm [Thu, 18 Oct 2001 21:02:46 +0200] rev 11829

added map_base;

isabelle