| Fri, 16 Sep 2005 23:55:23 +0200 | huffman | add HOLCF entries for pcpodef, cont_proc, fixrec; | changeset | files |
| Fri, 16 Sep 2005 23:01:29 +0200 | wenzelm | converted to Isar theory format; | changeset | files |
| Fri, 16 Sep 2005 21:02:15 +0200 | obua | fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions | changeset | files |