| Tue, 14 Jul 2009 10:54:04 +0200 |
haftmann |
code attributes use common underscore convention
|
file |
diff |
annotate
|
| Thu, 02 Jul 2009 16:00:27 +0200 |
haftmann |
more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck
|
file |
diff |
annotate
|
| Tue, 26 May 2009 12:31:01 +0200 |
haftmann |
documented print_codeproc command
|
file |
diff |
annotate
|
| Fri, 03 Apr 2009 18:03:29 +0200 |
wenzelm |
fixed formal markup;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2009 16:17:50 +0200 |
nipkow |
Finite_Set: lemma
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 17:08:33 +0100 |
wenzelm |
added method "coherent";
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 16:48:27 +0100 |
wenzelm |
moved method "iprover" to HOL specific part;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 13:37:24 +0100 |
haftmann |
"code equation" replaces "defining equation"
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 21:54:37 +0100 |
wenzelm |
repaired railroad accident;
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 21:41:00 +0100 |
wenzelm |
added 'atp_messages' command, which displays recent messages synchronously;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:45:40 +0100 |
wenzelm |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:43:46 +0100 |
wenzelm |
unified use of declaration environment with IsarImplementation;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:34:23 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|