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

import -> imports
2004-08-18, by nipkow
import -> imports
2004-08-18, by nipkow
todo before next release
2004-08-17, by kleing
improved wording course material
2004-08-17, by kleing
include course material page
2004-08-17, by kleing
Adapted text to new theory header syntax.
2004-08-16, by nipkow
Added "import" and "begin"
2004-08-16, by nipkow
Experimental version supporting PGIP, merged with main branch with help from Makarius.
2004-08-16, by aspinall
Experimental pgip_isar.xml file
2004-08-16, by aspinall
new theory header syntax.
2004-08-16, by nipkow
New theory header syntax.
2004-08-16, by nipkow
*** empty log message ***
2004-08-16, by nipkow
Replaced `div and `mod in consts_code section by div and mod.
2004-08-16, by berghofe
bugfix in read_dimacs_cnf_file
2004-08-14, by webertj
Disallowed "includes" in locale declarations.
2004-08-12, by ballarin
Fixed bug in compile_clause that caused equality constraints
2004-08-10, by berghofe
warning for recursion over IDTs added
2004-08-09, by webertj
Aded a thm.
2004-08-09, by nipkow
*** empty log message ***
2004-08-06, by chaieb
proof_of_evalc corrected;
2004-08-06, by chaieb
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

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

isabelle