| Thu, 26 Mar 2009 14:14:02 +0100 |
wenzelm |
simplified attribute and method setup: eliminating bottom-up styles makes it easier to keep things in one place, and also SML/NJ happy;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 00:08:13 +0100 |
wenzelm |
moved old add_term_vars, add_term_frees etc. to structure OldTerm;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 15:50:44 +0200 |
wenzelm |
Args.name_source(_position) for proper position information;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 22:43:46 +0200 |
wenzelm |
unified Args.T with OuterLex.token, renamed some operations;
|
file |
diff |
annotate
|
| Mon, 16 Jun 2008 22:13:39 +0200 |
wenzelm |
pervasive RuleInsts;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 23:19:51 +0200 |
wenzelm |
proper context for tactics derived from res_inst_tac;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 12:01:14 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Sat, 26 Jan 2008 17:08:38 +0100 |
wenzelm |
tuned attribute syntax -- no need for eta-expansion;
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:35 +0200 |
haftmann |
fixed title
|
file |
diff |
annotate
|
| Wed, 07 Feb 2007 18:01:40 +0100 |
berghofe |
Added split_rule attribute.
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 12:16:54 +0200 |
wenzelm |
replaced Term.variant(list) by Name.variant(_list);
|
file |
diff |
annotate
|
| Sat, 27 May 2006 17:42:00 +0200 |
wenzelm |
complete_split_rule: all Vars;
|
file |
diff |
annotate
|
| Sat, 21 Jan 2006 23:02:14 +0100 |
wenzelm |
simplified type attribute;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Tue, 10 Jan 2006 19:33:27 +0100 |
wenzelm |
Attrib.rule;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2005 16:00:15 +0100 |
haftmann |
fold_index replacing foldln
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 09:25:33 +0200 |
wenzelm |
reverted renaming of Some/None in comments and strings;
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 19 Oct 2001 22:01:25 +0200 |
wenzelm |
got rid of ML proof scripts for Product_Type;
|
file |
diff |
annotate
|
| Sat, 03 Feb 2001 15:22:57 +0100 |
wenzelm |
fixed syntax of 'split_format';
|
file |
diff |
annotate
|
| Sat, 03 Feb 2001 00:01:54 +0100 |
wenzelm |
simplified 'split_format' syntax;
|
file |
diff |
annotate
|
| Fri, 02 Feb 2001 22:20:43 +0100 |
wenzelm |
module setup;
|
file |
diff |
annotate
|
| Thu, 01 Feb 2001 20:51:48 +0100 |
oheimb |
converted to Isar therory, adding attributes complete_split and split_format
|
file |
diff |
annotate
|