paulson [Fri, 16 Oct 1998 12:23:07 +0200] rev 5653
changed tags from 0, 1 to None, Some() to avoid special treatment of 0
paulson [Fri, 16 Oct 1998 12:20:41 +0200] rev 5652
parent is Main
nipkow [Fri, 16 Oct 1998 08:48:05 +0200] rev 5651
*** empty log message ***
paulson [Thu, 15 Oct 1998 12:15:14 +0200] rev 5650
integer simprocs
paulson [Thu, 15 Oct 1998 11:38:39 +0200] rev 5649
Uses overload_1st_set to specify overloading
paulson [Thu, 15 Oct 1998 11:35:07 +0200] rev 5648
specifications as sets of programs
nipkow [Wed, 14 Oct 1998 15:47:22 +0200] rev 5647
Description of new version.
nipkow [Wed, 14 Oct 1998 15:26:31 +0200] rev 5646
New many-sorted version.
nipkow [Wed, 14 Oct 1998 11:51:11 +0200] rev 5645
See (* FIXME zero_neq_conv *)
nipkow [Wed, 14 Oct 1998 11:50:48 +0200] rev 5644
Nat: added zero_neq_conv
List: added nth/update lemmas.