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/CTT/CTT.thy
2013-02-28
wenzelm
eliminated legacy 'axioms';
file
|
diff
|
annotate
2012-08-22
wenzelm
prefer ML_file over old uses;
file
|
diff
|
annotate
2011-01-12
wenzelm
eliminated global prems;
file
|
diff
|
annotate
2010-12-20
wenzelm
proper identifiers for consts and types;
file
|
diff
|
annotate
2010-09-20
wenzelm
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
file
|
diff
|
annotate
2010-03-13
wenzelm
removed old CVS Ids;
file
|
diff
|
annotate
2010-02-08
wenzelm
modernized some syntax translations;
file
|
diff
|
annotate
2008-06-16
wenzelm
pervasive RuleInsts;
file
|
diff
|
annotate
2008-06-14
wenzelm
proper context for tactics derived from res_inst_tac;
file
|
diff
|
annotate
2008-05-18
wenzelm
setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
file
|
diff
|
annotate
2008-03-25
wenzelm
more antiquotations;
file
|
diff
|
annotate
2007-06-21
wenzelm
tuned proofs -- avoid implicit prems;
file
|
diff
|
annotate
2007-04-26
wenzelm
eliminated unnamed infixes, tuned syntax;
file
|
diff
|
annotate
2006-11-26
wenzelm
updated (binder) syntax/notation;
file
|
diff
|
annotate
2006-11-17
wenzelm
more robust syntax for definition/abbreviation/notation;
file
|
diff
|
annotate
2006-11-07
wenzelm
renamed 'const_syntax' to 'notation';
file
|
diff
|
annotate
2006-06-02
wenzelm
removed obsolete ML files;
file
|
diff
|
annotate
2005-10-07
wenzelm
replaced _K by dummy abstraction;
file
|
diff
|
annotate
2005-09-16
wenzelm
converted to Isar theory format;
file
|
diff
|
annotate
2004-06-01
wenzelm
removed obsolete sort 'logic';
file
|
diff
|
annotate
2004-05-21
wenzelm
proper use of 'syntax';
file
|
diff
|
annotate
2004-04-14
kleing
use more symbols in HTML output
file
|
diff
|
annotate
2001-11-08
wenzelm
eliminated old "symbols" syntax, use "xsymbols" instead;
file
|
diff
|
annotate
2000-11-14
paulson
x-symbol support for Pi, Sigma, -->, : (membership)
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1995-06-21
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1994-03-17
lcp
new type declaration syntax instead of numbers
file
|
diff
|
annotate
1993-10-04
wenzelm
replaced id by idt;
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip