isabelle: Changelog

paulson [Fri, 12 May 2000 15:21:58 +0200] rev 8870

updated

paulson [Fri, 12 May 2000 15:20:46 +0200] rev 8869

new simprules needed because of new subtraction rewriting

paulson [Fri, 12 May 2000 15:18:55 +0200] rev 8868

nat_diff_split' now called nat_diff_split

paulson [Fri, 12 May 2000 15:15:27 +0200] rev 8867

deleted a lot of obsolete arithmetic lemmas

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

isabelle