Mon, 07 Nov 2005 11:28:34 +0100 New function store_thmss_atts.
berghofe [Mon, 07 Nov 2005 11:28:34 +0100] rev 18101
New function store_thmss_atts.
Mon, 07 Nov 2005 11:17:45 +0100 used the function Library.product for the cprod from Stefan
urbanc [Mon, 07 Nov 2005 11:17:45 +0100] rev 18100
used the function Library.product for the cprod from Stefan
Mon, 07 Nov 2005 10:47:25 +0100 fixed bug with nominal induct
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
Mon, 07 Nov 2005 09:34:51 +0100 added fillin_mixfix' needed by serializer
haftmann [Mon, 07 Nov 2005 09:34:51 +0100] rev 18098
added fillin_mixfix' needed by serializer
Sun, 06 Nov 2005 01:21:37 +0100 add case syntax stuff
huffman [Sun, 06 Nov 2005 01:21:37 +0100] rev 18097
add case syntax stuff
Sun, 06 Nov 2005 00:35:24 +0100 use consts for infix syntax
huffman [Sun, 06 Nov 2005 00:35:24 +0100] rev 18096
use consts for infix syntax
Sun, 06 Nov 2005 00:22:03 +0100 add proof of Bekic's theorem: fix_cprod
huffman [Sun, 06 Nov 2005 00:22:03 +0100] rev 18095
add proof of Bekic's theorem: fix_cprod
Sat, 05 Nov 2005 21:56:45 +0100 simplify definitions
huffman [Sat, 05 Nov 2005 21:56:45 +0100] rev 18094
simplify definitions
Sat, 05 Nov 2005 21:52:13 +0100 put iterate and fix in separate sections; added Letrec
huffman [Sat, 05 Nov 2005 21:52:13 +0100] rev 18093
put iterate and fix in separate sections; added Letrec
Sat, 05 Nov 2005 21:50:37 +0100 renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM
huffman [Sat, 05 Nov 2005 21:50:37 +0100] rev 18092
renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip