haftmann [Mon, 07 Nov 2005 11:39:24 +0100] rev 18102
added fillin_mixfix, replace_quote
berghofe [Mon, 07 Nov 2005 11:28:34 +0100] rev 18101
New function store_thmss_atts.
urbanc [Mon, 07 Nov 2005 11:17:45 +0100] rev 18100
used the function Library.product for the cprod from Stefan
urbanc [Mon, 07 Nov 2005 10:47:25 +0100] rev 18099
fixed bug with nominal induct
- the bug occured in rule inductions when
the goal did not use all variables from
the relation over which the induction
was done
haftmann [Mon, 07 Nov 2005 09:34:51 +0100] rev 18098
added fillin_mixfix' needed by serializer
huffman [Sun, 06 Nov 2005 01:21:37 +0100] rev 18097
add case syntax stuff
huffman [Sun, 06 Nov 2005 00:35:24 +0100] rev 18096
use consts for infix syntax
huffman [Sun, 06 Nov 2005 00:22:03 +0100] rev 18095
add proof of Bekic's theorem: fix_cprod
huffman [Sat, 05 Nov 2005 21:56:45 +0100] rev 18094
simplify definitions
huffman [Sat, 05 Nov 2005 21:52:13 +0100] rev 18093
put iterate and fix in separate sections; added Letrec