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 JavaScriptenabled browsers.
New Reflected Presburger added to HOL/ex
20070606, by chaieb
Groebner Basis Examples.
20070605, by wenzelm
print_antiquotations: sort_strings;
20070605, by wenzelm
tuned document;
20070605, by wenzelm
tuned source deps;
20070605, by wenzelm
simplified/renamed add_numerals;
20070605, by wenzelm
renamed ex/Eval_Examples.thy;
20070605, by wenzelm
added ex/Groebner_Examples.thy;
20070605, by wenzelm
tuned document;
20070605, by wenzelm
Added two examples in Complex/ex :Reflected QE for linear real arith and QE for mixed integer real linear arithmetic
20070605, by chaieb
Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers
20070605, by chaieb
tuned boostrap
20070605, by haftmann
eliminated Code_Generator.thy
20070605, by haftmann
tuned integers
20070605, by haftmann
tuned;
20070605, by wenzelm
fixed type int vs. integer;
20070605, by wenzelm
renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions;
20070605, by wenzelm
add new lemmas
20070605, by huffman
Polynomials now only depend on Deriv; Definition of degree changed
20070605, by chaieb
lemma lemma_DERIV_subst moved to Deriv.thy
20070605, by chaieb
tuned proofs;
20070605, by wenzelm
tuned comments;
20070605, by wenzelm
Semiring normalization and Groebner Bases.
20070605, by wenzelm
moved generic algebra modules
20070605, by haftmann
updated documentation
20070605, by haftmann
fixed broken execption handling
20070605, by haftmann
simplified notion of "operational classes"
20070605, by haftmann
merged Code_Generator.thy into HOL.thy
20070605, by haftmann
added a function partition and a few lemmas
20070605, by chaieb
added a few theorems about foldl and set
20070605, by chaieb
added lcm, ilcm (lcm for integers) and some lemmas about them;
20070605, by chaieb
included Class.thy in the compiling process for Nominal/Examples
20070605, by urbanc
remove simp attribute from lemma_STAR theorems
20070605, by huffman
add lemma exp_of_real
20070605, by huffman
tuned list comprehension
20070604, by nipkow
tuned;
20070604, by wenzelm
added is_atomic;
20070604, by wenzelm
added assume_rule_tac;
20070604, by wenzelm
reverted appnd to append
20070604, by haftmann
authentic syntax for List.append
20070604, by haftmann
tuned comments
20070604, by haftmann
added a few comments to the proofs
20070604, by urbanc
removed fixmes
20070604, by chaieb
opaqueconstraint removed
20070604, by chaieb
tuned;
20070604, by chaieb
monomorphic equality: let ML work out the details;
20070603, by wenzelm
added gen_merge_lists/merge_lists/merge_alists (legacy operations from library.ML);
20070603, by wenzelm
tuned Tactic signature;
20070603, by wenzelm
removed obsolete Library.seq;
20070603, by wenzelm
moved flip to library.ML;
20070603, by wenzelm
added CSUBGOAL;
20070603, by wenzelm
cleaned up signature;
20070603, by wenzelm
added downto0 (from library.ML);
20070603, by wenzelm
merge_ss: plain merge of prems;
20070603, by wenzelm
added flip (from General/basics.ML);
20070603, by wenzelm
tuned document;
20070603, by wenzelm
use antiquotations instead of raw TeX code;
20070603, by wenzelm
name_of_fqgar: precise type;
20070603, by wenzelm
added plural (from Pure/library.ML);
20070603, by wenzelm
local open FundefLib;
20070603, by wenzelm
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip