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/FOLP/IFOLP.thy
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-08-27
wenzelm
proper configuration option "show_proofs";
file
|
diff
|
annotate
2010-08-18
haftmann
deglobalization
file
|
diff
|
annotate
2010-04-28
wenzelm
renamed command 'defaultsort' to 'default_sort';
file
|
diff
|
annotate
2010-04-23
wenzelm
mark schematic statements explicitly;
file
|
diff
|
annotate
2010-02-15
wenzelm
eliminated unnamed infixes;
file
|
diff
|
annotate
2010-02-11
wenzelm
modernized translations;
file
|
diff
|
annotate
2009-09-29
wenzelm
explicit indication of Unsynchronized.ref;
file
|
diff
|
annotate
2009-01-02
wenzelm
fixed assumption proof;
file
|
diff
|
annotate
2008-12-31
wenzelm
moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
file
|
diff
|
annotate
2008-06-11
wenzelm
changed pred_congs: merely cover pred1_cong pred2_cong pred3_cong;
file
|
diff
|
annotate
2008-06-11
wenzelm
tuned comments;
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-29
wenzelm
replaced 'ML_setup' by 'ML';
file
|
diff
|
annotate
2008-03-18
wenzelm
converted legacy ML scripts;
file
|
diff
|
annotate
2005-09-18
wenzelm
converted to Isar theory format;
file
|
diff
|
annotate
2004-06-01
wenzelm
removed obsolete sort 'logic';
file
|
diff
|
annotate
1999-04-26
paulson
fixed a bug many years old in rule plusEC
file
|
diff
|
annotate
1997-10-20
wenzelm
adapted to qualified names;
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1997-03-04
paulson
Removed needless quotes
file
|
diff
|
annotate
1996-02-05
clasohm
expanded tabs
file
|
diff
|
annotate
1995-06-21
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1995-06-02
lcp
Corrected comments in headers
file
|
diff
|
annotate
1994-10-21
lcp
FOLP/IFOLP.thy: tightening precedences to eliminate syntactic ambiguities.
file
|
diff
|
annotate
1994-03-17
lcp
new type declaration syntax instead of numbers
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip