isabelle: Changelog

paulson [Fri, 12 May 2000 15:14:35 +0200] rev 8866

tidied

paulson [Fri, 12 May 2000 15:14:08 +0200] rev 8865

new simprules for nat_case and nat_rec simplify_meta_eq now maps #0 to 0 and #1 to 1 in its result

paulson [Fri, 12 May 2000 15:11:42 +0200] rev 8864

tidying, especially to remove zcompare_rls from proofs

paulson [Fri, 12 May 2000 15:06:35 +0200] rev 8863

a massive tidy-up

paulson [Fri, 12 May 2000 15:05:02 +0200] rev 8862

NatSimprocs is now a theory, not a file

paulson [Fri, 12 May 2000 15:02:57 +0200] rev 8861

new theorem one_le_power

paulson [Fri, 12 May 2000 15:00:45 +0200] rev 8860

tidied

paulson [Fri, 12 May 2000 14:59:12 +0200] rev 8859

deleted some redundant simprules Added new simprules for subtraction

paulson [Fri, 12 May 2000 14:57:28 +0200] rev 8858

new dummy theory; prevents strange errors when loading NatSimprocs.ML

wenzelm [Fri, 12 May 2000 11:52:44 +0200] rev 8857

improved name of simproc;

isabelle