| Thu, 26 Jul 2012 19:08:14 +0200 |
wenzelm |
avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 17:16:02 +0200 |
wenzelm |
simplified Tutorial sessions;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2012 23:02:50 +0200 |
wenzelm |
avoid clash of Advanced/simp.thy vs. Misc/simp.thy;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 16:52:29 +0200 |
wenzelm |
misc cleanup -- no need to copy style files;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:13:32 +0200 |
wenzelm |
enable slow-motion mode to accomodate unsynchronized refs within theory sources;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2009 10:07:22 +0200 |
haftmann |
more precise dependencies
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 08:05:08 +0200 |
haftmann |
HOL += HOL-Complex
|
file |
diff |
annotate
|
| Mon, 05 Nov 2007 15:37:41 +0100 |
nipkow |
removed advanced recdef section and replaced it by citation of Alex's tutorial.
|
file |
diff |
annotate
|
| Thu, 01 Nov 2007 20:20:19 +0100 |
nipkow |
recdef -> fun
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 14:34:27 +0200 |
berghofe |
Removed legacy ML files in Protocol case study.
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:21 +0200 |
wenzelm |
removed -H false;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2005 19:43:38 +0200 |
nipkow |
added Rules/find2
|
file |
diff |
annotate
|
| Wed, 25 May 2005 09:04:24 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|