isabelle: Changelog

wenzelm [Fri, 04 Jun 1999 19:51:04 +0200] rev 6767

print "..." variable;

wenzelm [Fri, 04 Jun 1999 16:17:51 +0200] rev 6766

no message "Adding axioms for datatype(s)";

wenzelm [Fri, 04 Jun 1999 16:17:20 +0200] rev 6765

added Group.thy;

wenzelm [Fri, 04 Jun 1999 16:17:10 +0200] rev 6764

added Isar_examples/Group.thy;

wenzelm [Fri, 04 Jun 1999 16:16:31 +0200] rev 6763

Some bits of group theory. Demonstrate calculational proofs.

wenzelm [Wed, 02 Jun 1999 22:29:04 +0200] rev 6762

read_term/prop_pat: do not freeze;

wenzelm [Wed, 02 Jun 1999 22:27:01 +0200] rev 6761

added dddot_tr;

wenzelm [Wed, 02 Jun 1999 22:26:24 +0200] rev 6760

added dddot_indexname;

wenzelm [Wed, 02 Jun 1999 22:25:57 +0200] rev 6759

"..." syntax;

wenzelm [Wed, 02 Jun 1999 11:55:18 +0200] rev 6758

find -print;

isabelle