wenzelm [Sat, 14 Apr 2007 00:46:18 +0200] rev 22668
data declaration: removed obsolete target_morphism (still required for local data!?);
wenzelm [Sat, 14 Apr 2007 00:46:17 +0200] rev 22667
data declaration: removed obsolete target_morphism;
wenzelm [Fri, 13 Apr 2007 21:38:29 +0200] rev 22666
added eval_antiquotes_fn (tmp);
wenzelm [Fri, 13 Apr 2007 21:26:35 +0200] rev 22665
tuned document (headers, sections, spacing);
wenzelm [Fri, 13 Apr 2007 21:26:34 +0200] rev 22664
do translation: CONST;
wenzelm [Fri, 13 Apr 2007 20:23:18 +0200] rev 22663
eval_antiquotes: proper parentheses for projection;
haftmann [Fri, 13 Apr 2007 16:40:16 +0200] rev 22662
canonical merge operations
berghofe [Fri, 13 Apr 2007 15:43:25 +0200] rev 22661
Removed erroneous application of rev in get_clauses that caused
introduction rules taken from the InductivePackage database to
be in the wrong order.
krauss [Fri, 13 Apr 2007 12:30:47 +0200] rev 22660
more robust proof
ballarin [Fri, 13 Apr 2007 10:02:30 +0200] rev 22659
Experimental code for the interpretation of definitions.