Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/CCL/Term.thy
2014-03-18
wenzelm
tuned signature -- rearranged modules;
file
|
diff
|
annotate
2013-05-25
wenzelm
syntax translations always depend on context;
file
|
diff
|
annotate
2013-05-16
wenzelm
tuned signature -- depend on context by default;
file
|
diff
|
annotate
2013-04-18
wenzelm
simplifier uses proper Proof.context instead of historic type simpset;
file
|
diff
|
annotate
2013-04-10
wenzelm
prefer local context;
file
|
diff
|
annotate
2012-09-29
wenzelm
more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
file
|
diff
|
annotate
2011-08-17
wenzelm
modernized signature of Term.absfree/absdummy;
file
|
diff
|
annotate
2011-05-15
wenzelm
simplified/unified method_setup/attribute_setup;
file
|
diff
|
annotate
2011-04-08
wenzelm
explicit structure Syntax_Trans;
file
|
diff
|
annotate
2011-03-29
wenzelm
modernized specifications -- less axioms;
file
|
diff
|
annotate
2011-03-22
wenzelm
let syntax: reverted to plain "id", since translations cannot cope with constraints (notably position information);
file
|
diff
|
annotate
2010-02-11
wenzelm
modernized translations;
file
|
diff
|
annotate
2009-07-23
wenzelm
eliminated adhoc ML code;
file
|
diff
|
annotate
2009-07-23
wenzelm
misc modernization: proper method setup instead of adhoc ML proofs;
file
|
diff
|
annotate
2009-07-15
wenzelm
more antiquotations;
file
|
diff
|
annotate
2008-03-29
wenzelm
replaced 'ML_setup' by 'ML';
file
|
diff
|
annotate
2008-03-19
wenzelm
more antiquotations;
file
|
diff
|
annotate
2007-10-03
wenzelm
avoid unnamed infixes;
file
|
diff
|
annotate
2007-10-01
wenzelm
ML_setup for bind_thms;
file
|
diff
|
annotate
2006-10-09
wenzelm
reorderd ML/lemmas (Why!?);
file
|
diff
|
annotate
2006-07-18
wenzelm
removed obsolete ML files;
file
|
diff
|
annotate
2006-06-06
wenzelm
quoted "if";
file
|
diff
|
annotate
2005-10-07
wenzelm
print_translation: does not handle _idtdummy;
file
|
diff
|
annotate
2005-09-17
wenzelm
converted to Isar theory format;
file
|
diff
|
annotate
2004-05-21
wenzelm
proper use of 'syntax';
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1997-03-03
wenzelm
added comment;
file
|
diff
|
annotate
1996-02-05
clasohm
expanded tabs
file
|
diff
|
annotate
1995-06-21
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1995-04-06
lcp
Gave tighter priorities to if, napply and the let-forms to
file
|
diff
|
annotate
1994-09-14
wenzelm
letrec syntax: replaced "id" by "idt";
file
|
diff
|
annotate
1994-03-22
clasohm
changed "." to "$" to eliminate ambiguity
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip