Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
fixed bug resolving Haskell names
2006-06-21, by haftmann
fixed error bug
2006-06-21, by haftmann
renamed thy data
2006-06-21, by haftmann
Added split_cong rule
2006-06-21, by krauss
hyps better than prems
2006-06-21, by haftmann
fixed sml/nj value restriction problem
2006-06-20, by haftmann
Restructured locales with predicates: import is now an interpretation.
2006-06-20, by ballarin
Fixed another variable order bug...
2006-06-20, by krauss
switched to open locales for classes
2006-06-20, by haftmann
switched to open locales for classes
2006-06-20, by haftmann
refrain from reforming TFL -- back to previous revision;
2006-06-19, by wenzelm
added declare_thm, thm_context;
2006-06-19, by wenzelm
eliminated freeze/varify in favour of Variable.import/export/trade;
2006-06-19, by wenzelm
world map updated
2006-06-19, by webertj
world map updated
2006-06-19, by webertj
Fixed name clash.
2006-06-19, by krauss
world map updated
2006-06-19, by webertj
matchers: try pattern_matchers only *after* general matching (The
2006-06-19, by wenzelm
ProofContext.exports: simultaneous facts;
2006-06-17, by wenzelm
moved internal/skolem to term.ML;
2006-06-17, by wenzelm
mutual_rule: proper context;
2006-06-17, by wenzelm
export: simultaneous facts, refer to Variable.export;
2006-06-17, by wenzelm
ProofContext.exports: simultaneous facts;
2006-06-17, by wenzelm
Variable.importT_inst;
2006-06-17, by wenzelm
standard: simultaneous facts;
2006-06-17, by wenzelm
added singleton;
2006-06-17, by wenzelm
major reworking of export functionality -- based on Term/Thm.generalize;
2006-06-17, by wenzelm
added generalize rule;
2006-06-17, by wenzelm
added exists_subtype;
2006-06-17, by wenzelm
added generalize rule;
2006-06-17, by wenzelm
Term.skolem;
2006-06-17, by wenzelm
Term.internal;
2006-06-17, by wenzelm
ProofContext.export: singleton;
2006-06-17, by wenzelm
RuleCases.mutual_rule: ctxt;
2006-06-17, by wenzelm
RuleCases.mutual_rule: ctxt;
2006-06-17, by wenzelm
added interface for making term contexts.
2006-06-17, by dixon
fixed symlink bug
2006-06-16, by haftmann
ProofContext: moved variable operations to struct Variable;
2006-06-15, by wenzelm
Fixed type/term variables and polymorphic term abbreviations.
2006-06-15, by wenzelm
added variable.ML;
2006-06-15, by wenzelm
ProofContext: moved variable operations to struct Variable;
2006-06-15, by wenzelm
*** empty log message ***
2006-06-15, by nipkow
*** empty log message ***
2006-06-15, by nipkow
the "all_theorems" option and some fixes
2006-06-15, by paulson
the enumerate operator
2006-06-15, by paulson
Jia Meng added to world map
2006-06-14, by webertj
keyword update
2006-06-14, by haftmann
slight adaption for code generator
2006-06-14, by haftmann
slight adaptions for code generator
2006-06-14, by haftmann
slight adaptions
2006-06-14, by haftmann
slight refinements for code generator
2006-06-14, by haftmann
added hook for case const defs
2006-06-14, by haftmann
added codegen_simtype
2006-06-14, by haftmann
improvements in code generator
2006-06-14, by haftmann
avoid global Drule.unvarify;
2006-06-13, by wenzelm
tuned interfaces;
2006-06-13, by wenzelm
added hyps_of;
2006-06-13, by wenzelm
added equiv;
2006-06-13, by wenzelm
(un)varify: tuned exceptions;
2006-06-13, by wenzelm
removed weak_eq_thm;
2006-06-13, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip