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 |