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/NSA/NSComplex.thy
2013-03-26
hoelzl
HOL-NSA should only import Complex_Main
file
|
diff
|
annotate
2012-10-19
webertj
Renamed {left,right}_distrib to distrib_{right,left}.
file
|
diff
|
annotate
2012-03-25
huffman
merged fork with new numeral representation (see NEWS)
file
|
diff
|
annotate
2011-09-08
huffman
remove unnecessary intermediate lemmas
file
|
diff
|
annotate
2011-09-08
huffman
remove obsolete intermediate lemma complex_inverse_complex_split
file
|
diff
|
annotate
2011-09-08
huffman
simplify proof of lemma DeMoivre, removing unnecessary intermediate lemma
file
|
diff
|
annotate
2011-09-06
huffman
remove redundant lemmas i_mult_eq and i_mult_eq2 in favor of i_squared
file
|
diff
|
annotate
2011-09-04
huffman
remove redundant lemmas expi_add and expi_zero
file
|
diff
|
annotate
2011-04-23
wenzelm
modernized specifications;
file
|
diff
|
annotate
2011-03-13
wenzelm
tuned headers;
file
|
diff
|
annotate
2010-12-29
wenzelm
explicit file specifications -- avoid secondary load path;
file
|
diff
|
annotate
2010-07-12
haftmann
dropped superfluous [code del]s
file
|
diff
|
annotate
2010-02-08
haftmann
renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
file
|
diff
|
annotate
2009-12-19
huffman
rename equals_zero_I to minus_unique (keep old name too)
file
|
diff
|
annotate
2009-04-28
haftmann
power constraint needed, though
file
|
diff
|
annotate
2009-04-28
haftmann
stripped class recpower further
file
|
diff
|
annotate
2008-10-10
haftmann
`code func` now just `code`
file
|
diff
|
annotate
2008-07-03
huffman
move nonstandard analysis theories to NSA directory
file
|
diff
|
annotate
less
more
(0)
tip