| Fri, 04 Jun 1999 19:51:56 +0200 | wenzelm | fixed BUG in have_thmss: return thy'; | changeset | files |
| Fri, 04 Jun 1999 19:51:26 +0200 | wenzelm | added dest_main_statement; | changeset | files |
| Fri, 04 Jun 1999 19:51:04 +0200 | wenzelm | print "..." variable; | changeset | files |
| Fri, 04 Jun 1999 16:17:51 +0200 | wenzelm | no message "Adding axioms for datatype(s)"; | changeset | files |
| Fri, 04 Jun 1999 16:17:20 +0200 | wenzelm | added Group.thy; | changeset | files |
| Fri, 04 Jun 1999 16:17:10 +0200 | wenzelm | added Isar_examples/Group.thy; | changeset | files |
| Fri, 04 Jun 1999 16:16:31 +0200 | wenzelm | Some bits of group theory. Demonstrate calculational proofs. | changeset | files |