isabelle: Changelog

paulson [Thu, 11 Jul 1996 15:14:41 +0200] rev 1849

Added insert_mono

paulson [Thu, 11 Jul 1996 15:13:52 +0200] rev 1848

Added ML reference

paulson [Thu, 11 Jul 1996 15:02:42 +0200] rev 1847

Modified to reject certain inputs -- illustrates error handling

paulson [Thu, 11 Jul 1996 15:00:38 +0200] rev 1846

Documentation of oracles and their syntax

berghofe [Fri, 05 Jul 1996 14:22:59 +0200] rev 1845

Simplified syntax of primrec definitions.

paulson [Fri, 28 Jun 1996 15:30:55 +0200] rev 1844

Removed a use of eq_cs

paulson [Fri, 28 Jun 1996 15:29:39 +0200] rev 1843

Removed the unused eq_cs, and added some distributive laws

paulson [Fri, 28 Jun 1996 15:29:05 +0200] rev 1842

Removed the unused rel_eq_cs

paulson [Fri, 28 Jun 1996 15:28:29 +0200] rev 1841

Added contra_subsetD and rev_contra_subsetD

paulson [Fri, 28 Jun 1996 15:27:53 +0200] rev 1840

Added rev_notE by analogy with rev_mp

isabelle