Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-10
-8
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy
Mon, 16 Mar 2015 15:30:00 +0000
paulson
The factorial function, "fact", now has type "nat => 'a"
file
|
diff
|
annotate
Fri, 06 Mar 2015 12:48:03 +0000
paulson
A few new lemmas and a bit of tidying up
file
|
diff
|
annotate
Wed, 18 Feb 2015 22:46:47 +0100
haftmann
inlined rules to free user-space from technical names
file
|
diff
|
annotate
Sun, 02 Nov 2014 17:09:04 +0100
wenzelm
modernized header;
file
|
diff
|
annotate
Sat, 05 Jul 2014 11:01:53 +0200
haftmann
prefer ac_simps collections over separate name bindings for add and mult
file
|
diff
|
annotate
Wed, 07 May 2014 12:25:35 +0200
hoelzl
avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.
file
|
diff
|
annotate
Wed, 09 Apr 2014 09:37:47 +0200
hoelzl
revert c1bbd3e22226, a14831ac3023, and 36489d77c484: divide_minus_left/right are again simp rules
file
|
diff
|
annotate
Thu, 03 Apr 2014 23:51:52 +0100
paulson
removing simprule status for divide_minus_left and divide_minus_right
file
|
diff
|
annotate
less
more
(0)
-10
-8
tip