isabelle: Changelog

huffman [Sat, 04 Jun 2005 02:11:47 +0200] rev 16229

use fixrec_package.ML

huffman [Sat, 04 Jun 2005 02:11:20 +0200] rev 16228

import Fix is unnecessary

huffman [Sat, 04 Jun 2005 02:10:41 +0200] rev 16227

added fixrec_package.ML

huffman [Sat, 04 Jun 2005 02:10:19 +0200] rev 16226

implementation of fixrec package

huffman [Sat, 04 Jun 2005 01:48:34 +0200] rev 16225

shrink session graph so it fits on a page

huffman [Sat, 04 Jun 2005 00:24:33 +0200] rev 16224

Domain package generates match functions for new datatypes, for use with the fixrec package

huffman [Sat, 04 Jun 2005 00:23:40 +0200] rev 16223

add dependency on Fixrec.thy

huffman [Sat, 04 Jun 2005 00:22:22 +0200] rev 16222

add Fixrec.thy

huffman [Sat, 04 Jun 2005 00:22:08 +0200] rev 16221

New theory with lemmas for the fixrec package

huffman [Fri, 03 Jun 2005 23:39:07 +0200] rev 16220

changed variable name in monofun_cfun_arg

isabelle