isabelle: Changelog

skalberg [Mon, 21 Jul 2003 08:53:56 +0200] rev 14118

Changed bstring argument to xstring.

skalberg [Mon, 21 Jul 2003 08:52:06 +0200] rev 14117

*** empty log message ***

skalberg [Sat, 19 Jul 2003 17:35:15 +0200] rev 14116

Added optional theorem names for the constant definitions added during specification.

skalberg [Thu, 17 Jul 2003 15:23:20 +0200] rev 14115

Added package for definition by specification.

paulson [Wed, 16 Jul 2003 12:09:41 +0200] rev 14114

tidying

paulson [Tue, 15 Jul 2003 15:20:54 +0200] rev 14113

Fixing a simproc bug

paulson [Tue, 15 Jul 2003 15:12:22 +0200] rev 14112

tidying

nipkow [Tue, 15 Jul 2003 08:25:20 +0200] rev 14111

Some new thm (ex_map_conv?)

kleing [Mon, 14 Jul 2003 14:44:06 +0200] rev 14110

use Library.Some/None instead of just Some/None in generated quickcheck code

berghofe [Fri, 11 Jul 2003 15:01:41 +0200] rev 14109

Added keywords for random testing.

isabelle