| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Mon, 16 Feb 2009 19:11:16 +0100 | haftmann | clarified import | file | diff | annotate |
| Wed, 22 Oct 2008 14:15:43 +0200 | haftmann | slightly tuned | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:40 +0200 | haftmann | tuned whitespace | file | diff | annotate |
| Fri, 28 Mar 2008 22:01:04 +0100 | haftmann | import Main explicitly | file | diff | annotate |
| Fri, 25 Jan 2008 14:53:56 +0100 | haftmann | distinguished examples for Efficient_Nat.thy | file | diff | annotate |