isabelle: Changelog

wenzelm [Sun, 22 May 2005 16:51:09 +0200] rev 16021

findI/Es/E: adapted to FindTheorems.find_XXX, results use thmref instead of string;

wenzelm [Sun, 22 May 2005 16:51:08 +0200] rev 16020

major tuning;

wenzelm [Sun, 22 May 2005 16:51:07 +0200] rev 16019

Simplifier already setup in Pure;

wenzelm [Sun, 22 May 2005 16:51:06 +0200] rev 16018

tuned antiquotations;

wenzelm [Sun, 22 May 2005 16:51:05 +0200] rev 16017

tuned thms_containing;

wenzelm [Sun, 22 May 2005 16:51:04 +0200] rev 16016

tuned;

wenzelm [Sun, 22 May 2005 16:51:04 +0200] rev 16015

moved to Pure;

wenzelm [Sun, 22 May 2005 16:51:03 +0200] rev 16014

moved here from Provers; removed find_rewrites (superceded by find_theorems rewrite); outer syntax moved to Pure/Isar/isar_syn.ML;

wenzelm [Sun, 22 May 2005 16:51:02 +0200] rev 16013

removed find_rewrites (superceded by improved thms_containing);

paulson [Fri, 20 May 2005 18:35:10 +0200] rev 16012

bug fixes for clause form transformation

isabelle