openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
I
IsarMathLib
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
2 days
ago. based on code collected
4 days
ago.
Mar 25, 2023 — Mar 25, 2024
Showing page 1 of 6
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Version 1.11.0 released
slawekk
More...
about 4 years ago
Release 1.11.0
slawekk
More...
about 4 years ago
release 1.10.0
slawekk
More...
over 4 years ago
added forgotten theories.conf and updated readme.txt
slawekk
More...
almost 5 years ago
Release 1.9.7
slawekk
More...
over 5 years ago
release 1.9.6 for Isabelle2017
slawekk
More...
over 6 years ago
improved proof document look by making more subsections
slawekk
More...
about 7 years ago
fixed LaTeX problems for Isabelle2016-1
slawekk
More...
about 7 years ago
release 1.9.4
slawekk
More...
about 8 years ago
updated for Isabelle2015
slawekk
More...
almost 9 years ago
"Le directs nat" corrected
dan232
More...
about 10 years ago
released as 1.9.1
slawekk
More...
about 10 years ago
modified isub/isup for Isabelle2013-2
slawekk
More...
about 10 years ago
modified Cardinal_ZF for isarmathlib.org
slawekk
More...
over 10 years ago
converted isar2html to a straight configuration file instead of fake ROOT.ML, added force to recognized tactics
slawekk
More...
over 10 years ago
moved some theorems from Topology_ZF_6 to func1 and Topology_ZF_2
slawekk
More...
over 10 years ago
fixed some typos
slawekk
More...
over 10 years ago
modified Topology_ZF_4 for web presentation
slawekk
More...
over 10 years ago
Generalized results on compact subspaces. New relation between anti-lindeloef and axiom of countable choice on Pow(nat). New topological properties.
dan232
More...
over 10 years ago
Small typo corrections. Properties of order topological spaces. Quotient topologies. Topological properties in finite products. Groups of homeomorphisms. New file collects previous cardinality results. Local Properties for topological spaces. Group homomorphisms. Topological subgroup properties. Topological quotient groups.
dan232
More...
over 10 years ago
Results on separation properties of topological groups. Results on local properties, like locally compact spaces. Some misspelled words corrected
dan232
More...
almost 11 years ago
Some misspelled words corrected. Better syntax. New results about functions on cartesian products.
dan232
More...
almost 11 years ago
Some misspelled words corrected. Results added: Union of two compact sets is compact, Hausdorff space separates compact sets by disjoint open sets, and Hausdorff+Compact --> Normal.
dan232
More...
almost 11 years ago
Hausdorff space separates compact subspaces from points added in Topology_ZF_5
dan232
More...
almost 11 years ago
Proof of the axiom of finite choice added in Topology_ZF_properties; and equivalence to regularity in topological spaces added in Topology_ZF_5
dan232
More...
almost 11 years ago
small typo in Semigroup_ZF
slawekk
More...
almost 11 years ago
Better syntax.
dan232
More...
almost 11 years ago
small improvements for isarmathlib.org presentation
slawekk
More...
about 11 years ago
increased line spacing for formal part in imlstyle.css
slawekk
More...
about 11 years ago
corrections for isar2html
slawekk
More...
about 11 years ago
←
1
2
3
4
5
6
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree