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 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

*** empty log message ***
2004-12-09, by nipkow
converted Datatype_Universe to new-style theory
2004-12-09, by paulson
fixed bug in find functions that I introduced some time ago.
2004-12-08, by nipkow
converted Lfp to new-style theory
2004-12-08, by paulson
improvements by Larry and Micheal Wahler
2004-12-08, by kleing
renamed attributes to lower case
2004-12-07, by paulson
made proofs more robust
2004-12-07, by paulson
all theories must be related to Reconstruction
2004-12-07, by paulson
converted Gfp to new-style theory
2004-12-07, by paulson
proof of subst by S Merz
2004-12-07, by paulson
comment added
2004-12-07, by webertj
link to tar.gz
2004-12-07, by kleing
proof of subst by S Merz
2004-12-07, by paulson
Started to clean up and generalize FiniteSet
2004-12-06, by nipkow
add latex sugar
2004-12-06, by kleing
moved to Sugar
2004-12-06, by kleing
fixed typos
2004-12-06, by kleing
ignore generated
2004-12-06, by kleing
fixes to clause conversion
2004-12-03, by paulson
trying to fix the transfer problem
2004-12-03, by paulson
tidied
2004-12-03, by paulson
tuned
2004-12-03, by kleing
fixed typo
2004-12-03, by kleing
more sugar
2004-12-03, by kleing
clauses counted from 0
2004-12-02, by paulson
*** empty log message ***
2004-12-02, by nipkow
Fixed print translation for ALL x > y etc
2004-12-02, by nipkow
added ALL print-translation for > and >=.
2004-12-02, by nipkow
*** empty log message ***
2004-12-02, by nipkow
Added "ALL x > y" and relatives.
2004-12-02, by nipkow
new CLAUSIFY attribute for proof reconstruction with lemmas
2004-12-02, by paulson
*** empty log message ***
2004-12-02, by nipkow
antiquotations lhs and rhs
2004-12-02, by kleing
*** empty log message ***
2004-12-01, by nipkow
Removed postfix >= because of new >= sugar
2004-12-01, by nipkow
Added > and >= sugar
2004-12-01, by nipkow
>= became > = because of new >=
2004-12-01, by nipkow
fixed presentation
2004-12-01, by paulson
resolution package tools by Jia Meng
2004-12-01, by paulson
new antiquotations @{lhs thm} and @{rhs thm}
2004-12-01, by kleing
added antiquotations @{lhs thm} and @{rhs thm}
2004-12-01, by kleing
fixed another _
2004-12-01, by kleing
resolution package tools by Jia Meng
2004-11-30, by paulson
converted Wellfounded_Relations to Isar script
2004-11-30, by paulson
even more mboxes
2004-11-30, by schirmer
Rule: put \mbox around premises/conclusion to avoid problems with
2004-11-30, by schirmer
blast_tac -> blast in comment (fix latex error)
2004-11-30, by kleing
*** empty log message ***
2004-11-29, by nipkow
converted to Isar script, simplifying some results
2004-11-29, by paulson
obselete
2004-11-29, by nipkow
onsolete
2004-11-29, by nipkow
obsolete
2004-11-29, by nipkow
New
2004-11-29, by nipkow
render \<circ> as o not &circ; (which is ^)
2004-11-29, by kleing
minor code refactoring (typ_of_dtyp, size_of_dtyp)
2004-11-25, by webertj
exception CANNOT_INTERPRET removed (not needed anymore since the stlc_interpreter can interpret any term)
2004-11-25, by webertj
comments edited
2004-11-25, by webertj
added ZCHAFF_VERSION
2004-11-25, by webertj
added ZCHAFF_VERSION
2004-11-25, by webertj
ML
2004-11-25, by paulson

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

isabelle