isabelle: File revisions

CONTRIBUTORS

8 months ago	wenzelm	2011-09-26	back to post-release mode;	file \| diff \| annotate
8 months ago	wenzelm	2011-09-18	misc tuning for release;	file \| diff \| annotate
8 months ago	huffman	2011-09-12	fix typo	file \| diff \| annotate
8 months ago	huffman	2011-09-12	NEWS and CONTRIBUTORS	file \| diff \| annotate
8 months ago	hoelzl	2011-09-12	adding NEWS and CONTRIBUTORS	file \| diff \| annotate
8 months ago	bulwahn	2011-09-12	merged	file \| diff \| annotate
8 months ago	bulwahn	2011-09-12	moving connection of association lists to Mappings into a separate theory	file \| diff \| annotate
8 months ago	blanchet	2011-09-12	added my contributions to NEWS and CONTRIBUTORS	file \| diff \| annotate
8 months ago	wenzelm	2011-09-11	more CONTRIBUTORS;	file \| diff \| annotate
8 months ago	wenzelm	2011-09-08	merged	file \| diff \| annotate
8 months ago	wenzelm	2011-09-07	some updates for release;	file \| diff \| annotate
8 months ago	haftmann	2011-09-07	theory of saturated naturals contributed by Peter Gammie	file \| diff \| annotate
16 months ago	wenzelm	2011-01-17	back to post-release mode;	file \| diff \| annotate
16 months ago	wenzelm	2011-01-16	misc updates for release;	file \| diff \| annotate
16 months ago	berghofe	2011-01-15	Added entry for HOL-SPARK	file \| diff \| annotate
16 months ago	krauss	2011-01-12	CONTRIBUTORS	file \| diff \| annotate
16 months ago	wenzelm	2011-01-11	updated to Isabelle2011;	file \| diff \| annotate
18 months ago	wenzelm	2010-11-05	proper spelling; proper format;	file \| diff \| annotate
18 months ago	hoelzl	2010-11-05	Extend convex analysis by Bogdan Grechuk	file \| diff \| annotate
19 months ago	wenzelm	2010-10-29	CONTRIBUTORS;	file \| diff \| annotate
19 months ago	haftmann	2010-10-25	CONTRIBUTORS	file \| diff \| annotate
20 months ago	haftmann	2010-09-23	CONTRIBUTORS and NEWS	file \| diff \| annotate
21 months ago	hoelzl	2010-08-23	Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.	file \| diff \| annotate
21 months ago	haftmann	2010-08-17	NEWS and CONTRIBUTORS	file \| diff \| annotate
23 months ago	wenzelm	2010-06-07	back to non-release mode;	file \| diff \| annotate
24 months ago	krauss	2010-06-03	CONTRIBUTORS	file \| diff \| annotate
24 months ago	wenzelm	2010-06-02	more CONTRIBUTORS;	file \| diff \| annotate
24 months ago	wenzelm	2010-05-27	misc updates for release;	file \| diff \| annotate
2010-04-27	haftmann	2010-04-27	NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-12-04	wenzelm	2009-12-04	back to after-release mode;	file \| diff \| annotate
2009-11-25	wenzelm	2009-11-25	tuned affiliation;	file \| diff \| annotate
2009-11-25	boehmes	2009-11-25	extended list of HOL-Boogie contributors	file \| diff \| annotate
2009-11-23	haftmann	2009-11-23	CONTRIBUTORS	file \| diff \| annotate
2009-11-22	wenzelm	2009-11-22	more NEWS, more tuning for release;	file \| diff \| annotate
2009-11-22	wenzelm	2009-11-22	misc tuning and updates for official release;	file \| diff \| annotate
2009-11-19	hoelzl	2009-11-19	Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS	file \| diff \| annotate
2009-11-12	bulwahn	2009-11-12	added a tabled implementation of the reflexive transitive closure	file \| diff \| annotate
2009-11-12	bulwahn	2009-11-12	announcing the predicate compiler in NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-11-03	boehmes	2009-11-03	added HOL-Boogie	file \| diff \| annotate
2009-10-26	blanchet	2009-10-26	merged	file \| diff \| annotate
2009-10-22	blanchet	2009-10-22	added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.	file \| diff \| annotate
2009-10-26	wenzelm	2009-10-26	misc tuning and updates;	file \| diff \| annotate
2009-10-20	boehmes	2009-10-20	added proof reconstructon for Z3, added certificates for simpler re-checking of proofs (no need to invoke external solvers), added examples and certificates for all examples, removed Unsynchronized.ref (in smt_normalize.ML)	file \| diff \| annotate
2009-10-19	haftmann	2009-10-19	CONTRIBUTORS	file \| diff \| annotate
2009-09-29	wenzelm	2009-09-29	Thomas Sewell, NICTA: more efficient HOL/record implementation;	file \| diff \| annotate
2009-09-18	boehmes	2009-09-18	added new method "smt": an oracle-based connection to external SMT solvers	file \| diff \| annotate
2009-09-18	haftmann	2009-09-18	tuned NEWS, added CONTRIBUTORS	file \| diff \| annotate
2009-07-24	Philipp Meyer	2009-07-24	Functionality for sum of squares to call a remote csdp prover	file \| diff \| annotate
2009-07-14	haftmann	2009-07-14	NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-06-05	haftmann	2009-06-05	CONTRIBUTORS	file \| diff \| annotate
2009-04-25	wenzelm	2009-04-25	post Isabelle2009 version;	file \| diff \| annotate
2009-04-08	wenzelm	2009-04-08	updated official title of contribution by Johannes Hoelzl;	file \| diff \| annotate
2009-03-09	wenzelm	2009-03-09	more contributors;	file \| diff \| annotate
2009-02-28	wenzelm	2009-02-28	A Serbian theory, by Filip Maric.	file \| diff \| annotate
2009-02-28	wenzelm	2009-02-28	more CONTRIBUTORS; fixed some dates;	file \| diff \| annotate
2009-02-27	wenzelm	2009-02-27	more CONTRIBUTORS;	file \| diff \| annotate
2009-02-13	kleing	2009-02-13	added find_consts to NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-02-11	kleing	2009-02-11	updated NEWS etc with "solves" criterion and auto_solves	file \| diff \| annotate
2009-01-08	haftmann	2009-01-08	NEWS and CONTRIBUTORS	file \| diff \| annotate
2008-12-27	krauss	2008-12-27	tuned NEWS; CONTRIBUTORS	file \| diff \| annotate

(0) -100 -60 tip

isabelle

RSS Atom