isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Initial changes to extend arithmetic from individual types to type classes.
2004-08-06, by nipkow
undid UN/INT syntax
2004-08-06, by nipkow
undid UN/INT xsymbol syntax with subscripts.
2004-08-06, by nipkow
make_clauses now meta
2004-08-06, by paulson
RS -> THEN
2004-08-06, by paulson
modified resolution proof
2004-08-06, by paulson
Undid \Union syntax with subscripts.
2004-08-06, by nipkow
an updated treatment of the simprules
2004-08-05, by paulson
some structured proofs
2004-08-05, by paulson
added a thm
2004-08-04, by nipkow
added some inj_on thms
2004-08-04, by nipkow
Added a number of new thms and the new function remove1
2004-08-04, by nipkow
proof mod
2004-08-04, by nipkow
added a few thms
2004-08-04, by nipkow
oracle corrected
2004-08-04, by chaieb
aded comment
2004-08-04, by nipkow
fixed tex problem
2004-08-04, by nipkow
Typo.
2004-08-03, by ballarin
New transitivity reasoners for transitivity only and quasi orders.
2004-08-03, by ballarin
new simprules Int_subset_iff and Un_subset_iff
2004-08-03, by paulson
zdiv_int, zmod_int
2004-08-02, by obua
conversion of Hyperreal/Filter to Isar scripts
2004-08-02, by paulson
Some comments added.
2004-08-02, by ballarin
Documentation added/improved.
2004-08-02, by ballarin
Modifications for trancl_tac (new solver in simplifier).
2004-08-02, by ballarin
Documentation added; minor improvements.
2004-08-02, by ballarin
Theories now take advantage of recent syntax improvements with (structure).
2004-08-02, by ballarin
conversion of Hyperreal/{Fact,Filter} to Isar scripts
2004-07-31, by paulson
conversion of Integration and NSPrimes to Isar scripts
2004-07-30, by paulson
keep type_solver;
2004-07-30, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle