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.
Code to undo the function ascii_of
2007-08-08, by paulson
Fixing the code to undo the function ascii_of
2007-08-08, by paulson
metis
2007-08-08, by paulson
tuned ML setup;
2007-08-07, by wenzelm
fixed imports from ../../Auth;
2007-08-07, by wenzelm
turned Unify flags into configuration options (global only);
2007-08-07, by wenzelm
usedir: added options -M -T for multithreading;
2007-08-07, by wenzelm
removed 'declare' from tactic emulations;
2007-08-07, by wenzelm
theory loader: removed obsolete update_thy (coincides with use_thy);
2007-08-07, by wenzelm
theory loader: removed obsolete update_thy (coincides with use_thy);
2007-08-07, by wenzelm
theory loader: added use_thys, removed obsolete update_thy;
2007-08-07, by wenzelm
theory loader: added use_thys, removed obsolete update_thy;
2007-08-07, by wenzelm
Issue a warning, when "function" encounters variables occuring in function position,
2007-08-07, by krauss
more error handling
2007-08-07, by krauss
added more instances;
2007-08-07, by wenzelm
simplified internal interfaces; cong rules are now handled directly by "context_tree.ML"
2007-08-07, by krauss
split off Option theory
2007-08-07, by haftmann
new nbe implementation
2007-08-07, by haftmann
more robust simproces
2007-08-07, by haftmann
tuned
2007-08-07, by haftmann
simplified proofs
2007-08-07, by haftmann
split off theory Option for benefit of code generator
2007-08-07, by haftmann
changed import order
2007-08-07, by haftmann
added more instances;
2007-08-06, by wenzelm
ML-Systems/overloading_smlnj.ML;
2007-08-06, by wenzelm
Overloading in SML/NJ.
2007-08-06, by wenzelm
Added renaming function to prevent correctness proof for realizer
2007-08-06, by berghofe
No document for Pretty_Int theory.
2007-08-06, by berghofe
nbe improved
2007-08-06, by haftmann
removed
2007-08-06, by haftmann
simultaneous use_thys;
2007-08-03, by wenzelm
reactivated Nominal/Examples/Class.thy;
2007-08-03, by wenzelm
replaced outdated flag by update_time (multithreading-safe presentation order);
2007-08-03, by wenzelm
sort indexes according to symbolic update_time (multithreading-safe);
2007-08-03, by wenzelm
use separate trace flag instead of Output.debug;
2007-08-03, by wenzelm
named some CRITICAL sections;
2007-08-03, by wenzelm
misc cleanup of ML bindings (for multihreading);
2007-08-03, by wenzelm
added int type constraint to accomodate hacked SML/NJ (backported change in generated metis.ML);
2007-08-03, by wenzelm
preparations for proper type int;
2007-08-03, by wenzelm
tuned tracing;
2007-08-03, by wenzelm
replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
2007-08-03, by wenzelm
certify: no check_thy here;
2007-08-03, by wenzelm
improved check_thy: produce a checked theory_ref (thread-safe version);
2007-08-03, by wenzelm
moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
2007-08-03, by wenzelm
added dependency on Tools/Metis/metis.ML;
2007-08-03, by wenzelm
updated;
2007-08-03, by wenzelm
replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
2007-08-03, by wenzelm
reset Logic.auto_rename;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
made mk_int/dest_int pervasive;
2007-08-02, by wenzelm
Experimental removal of assumptions of the form x : UNIV and the like after interpretation.
2007-08-02, by ballarin
Repaired term_of_char.
2007-08-02, by berghofe
- Added cycle test to function mk_ind_def to avoid non-termination
2007-08-02, by berghofe
tuned;
2007-08-02, by wenzelm
converted Meson tests to proper theory;
2007-08-02, by wenzelm
turned simp_depth_limit into configuration option;
2007-08-02, by wenzelm
added name_of;
2007-08-02, by wenzelm
turned simp_depth_limit into configuration option;
2007-08-02, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip