| Fri, 30 Jul 1999 13:44:29 +0200 | wenzelm | renamed 'same' to '-'; | file | diff | annotate |
| Fri, 09 Jul 1999 16:44:55 +0200 | wenzelm | removed qed_with; | file | diff | annotate |
| Mon, 28 Jun 1999 23:05:19 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 28 May 1999 13:30:59 +0200 | wenzelm | tuned formal comments; | file | diff | annotate |
| Fri, 30 Apr 1999 18:25:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 27 Apr 1999 15:10:36 +0200 | wenzelm | added Isar_examples/NatSum.thy; | file | diff | annotate |