isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

eliminated duplicate fold1 -- beware of argument order!
2009-10-19, by wenzelm
uniform use of Integer.add/mult/sum/prod;
2009-10-19, by wenzelm
Removed dead code in function mk_deftab.
2009-10-19, by berghofe
Removed unneeded reference to inv_def.
2009-10-19, by berghofe
Replaced inv by the_inv_onto.
2009-10-19, by berghofe
Renamed inv to the_inv and turned it into an abbreviation (based on the_inv_onto).
2009-10-19, by berghofe
fixed proof (cf. d1d4d7a08a66);
2009-10-18, by wenzelm
removed disjunctive group cancellation -- provers run independently;
2009-10-18, by wenzelm
tuned;
2009-10-18, by wenzelm
removed some unreferenced material;
2009-10-18, by wenzelm
merged
2009-10-18, by nipkow
certificates for sos
2009-10-18, by nipkow
merged
2009-10-18, by nipkow
added sums of squares for standard deviation
2009-10-18, by nipkow
merged
2009-10-18, by nipkow
Inv -> inv_onto, inv abbr. inv_onto UNIV.
2009-10-18, by nipkow
disable indent-tabs-mode in Proof General / Emacs;
2009-10-18, by wenzelm
merged
2009-10-17, by wenzelm
made SML/NJ happy;
2009-10-17, by wenzelm
Merged.
2009-10-17, by ballarin
Finished revisions of locales tutorial.
2009-10-17, by ballarin
Changed part of the examples to int.
2009-10-15, by ballarin
Save current state of locales tutorial.
2009-10-15, by ballarin
Observe order of declaration when printing registrations.
2009-10-15, by ballarin
disable sunbroy2 for now;
2009-10-17, by wenzelm
tuned/moved divide_and_conquer';
2009-10-17, by wenzelm
tuned;
2009-10-17, by wenzelm
removed separate record_quick_and_dirty_sensitive;
2009-10-17, by wenzelm
simplified tactics;
2009-10-17, by wenzelm
eliminated old List.foldr and OldTerm operations;
2009-10-17, by wenzelm
removed unused names;
2009-10-17, by wenzelm
misc tuning and simplification;
2009-10-17, by wenzelm
less pervasive names;
2009-10-17, by wenzelm
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-17, by wenzelm
Method.cheating: check quick_and_dirty here;
2009-10-17, by wenzelm
tuned;
2009-10-17, by wenzelm
Unsynchronized.set etc.;
2009-10-17, by wenzelm
indicate CRITICAL nature of various setmp combinators;
2009-10-17, by wenzelm
ISABELLE_TOOL;
2009-10-17, by wenzelm
tuned signature;
2009-10-17, by wenzelm
merged
2009-10-17, by wenzelm
merged
2009-10-17, by nipkow
added the_inv_onto
2009-10-17, by nipkow
eliminated hard tabulators, guessing at each author's individual tab-width;
2009-10-17, by wenzelm
removed obsolete old goal command;
2009-10-17, by wenzelm
legacy Drule.standard is no longer pervasive;
2009-10-17, by wenzelm
explicitly qualify Drule.standard;
2009-10-17, by wenzelm
tuned white space;
2009-10-16, by wenzelm
local channels for tracing/debugging;
2009-10-16, by wenzelm
made SML/NJ happy;
2009-10-16, by wenzelm
sunbroy2: back to single-threaded mode for now -- deadlock in Poly/ML 5.3-SVN-900;
2009-10-15, by wenzelm
replaced String.concat by implode;
2009-10-15, by wenzelm
space_implode;
2009-10-15, by wenzelm
normalized aliases of Output operations;
2009-10-15, by wenzelm
eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
2009-10-15, by wenzelm
natural argument order for prover;
2009-10-15, by wenzelm
ATP_Manager.get_prover: canonical argument order;
2009-10-15, by wenzelm
tuned proof (via atp_minimized);
2009-10-15, by wenzelm
sort_strings (cf. Pure/library.ML);
2009-10-15, by wenzelm
clarified File.platform_path vs. File.shell_path;
2009-10-15, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle