Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/ZF/LProd.thy
Wed, 29 Dec 2010 17:34:41 +0100
wenzelm
explicit file specifications -- avoid secondary load path;
file
|
diff
|
annotate
Mon, 01 Mar 2010 17:45:19 +0100
wenzelm
tuned final whitespace;
file
|
diff
|
annotate
Mon, 01 Mar 2010 13:40:23 +0100
haftmann
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
file
|
diff
|
annotate
Wed, 28 Jan 2009 16:29:16 +0100
nipkow
Replaced group_ and ring_simps by algebra_simps;
file
|
diff
|
annotate
Wed, 11 Jul 2007 11:49:56 +0200
berghofe
Restored set notation in Multiset theory.
file
|
diff
|
annotate
Sat, 23 Jun 2007 19:33:22 +0200
nipkow
tuned and renamed group_eq_simps and ring_eq_simps
file
|
diff
|
annotate
Wed, 07 Feb 2007 18:10:21 +0100
berghofe
- Adapted to new inductive definition package
file
|
diff
|
annotate
Mon, 05 Jun 2006 14:22:58 +0200
krauss
Added [simp]-lemmas "in_inv_image" and "in_lex_prod" in the spirit of "in_measure".
file
|
diff
|
annotate
Tue, 07 Mar 2006 16:03:31 +0100
obua
Added HOL-ZF to Isabelle.
file
|
diff
|
annotate
less
more
(0)
tip