isabelle: Changelog

huffman [Sat, 04 Jun 2005 02:24:47 +0200] rev 16232

added explicit dependency on Fix theory

huffman [Sat, 04 Jun 2005 02:13:31 +0200] rev 16231

add keywords fixrec and fixpat for HOLCF fixrec package

huffman [Sat, 04 Jun 2005 02:12:10 +0200] rev 16230

fix imports

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

isabelle