| Sun, 08 Nov 2009 14:38:36 +0100 |
wenzelm |
print_theorems: suppress concealed (global) facts, unless "!" option is given;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 16:39:46 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 21:14:30 +1100 |
kleing |
typo
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 14:57:25 +1100 |
kleing |
find_consts: documentation. (by Timothy Bourke)
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 11:49:02 +1100 |
kleing |
FindTheorems solves: update documentation (by Timothy Bourke)
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 22:02:18 +0100 |
wenzelm |
separate section "Inspecting the syntax" for print_syntax;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 22:01:30 +0100 |
wenzelm |
misc tuning of inner syntax;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:48:19 +0100 |
wenzelm |
separate chapter "Inner syntax --- the term language";
|
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
|
| Tue, 15 Jul 2008 10:59:14 +0200 |
wenzelm |
removed command 'redo';
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 00:05:06 +0200 |
wenzelm |
moved stuff from pure.thy to Misc.thy;
|
file |
diff |
annotate
|