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

updated subscription wording and link
2004-11-11, by paulson
increased tracing and search bounds
2004-11-11, by paulson
tidied comments
2004-11-08, by paulson
* extended interface of record_split_simp_tac and record_split_simproc
2004-11-05, by schirmer
user-interface impoved
2004-11-02, by chaieb
fixed some awkward problems with nat/int simprocs
2004-10-29, by paulson
fixed reference to renamed theorem
2004-10-29, by paulson
isatool usedir: ML root file can now be specified (previously hard-coded as ROOT.ML)
2004-10-28, by webertj
Make <undostep> call undos_proof to display resulting proofstate.
2004-10-28, by aspinall
efficienty improvement
2004-10-28, by chaieb
Revert change to pgml_sym
2004-10-27, by aspinall
Added type constraint to make SML/NJ happy.
2004-10-27, by berghofe
Changed function cabs to also allow abstraction over Vars.
2004-10-26, by berghofe
Added function merge_alists'.
2004-10-26, by berghofe
Added function strip_type (for ctyps).
2004-10-26, by berghofe
Added preprocessors.
2004-10-26, by berghofe
Added setup for code generator.
2004-10-26, by berghofe
Added simple code generator.
2004-10-26, by berghofe
Removed code generator stuff. Code generation is now handled by code
2004-10-26, by berghofe
Added call to Codegen.preprocess.
2004-10-26, by berghofe
Fixed problem with sorts in function make_casedists.
2004-10-26, by berghofe
fixed urls
2004-10-25, by nipkow
Simplification to symbol processing; put quotes around theory name in message.
2004-10-24, by aspinall
Fix <closetheory>
2004-10-21, by aspinall
Replaced PolyML specific print function by Display.print_thm(s)
2004-10-19, by berghofe
converted some induct_tac to induct
2004-10-19, by paulson
added a missing case (Var x) that made finding a case split fail, in order to prove the specification equation from the split versions, for some recursive functions.
2004-10-18, by dixon
Replaced list of bound variables in simpset by maximal index of bound
2004-10-18, by berghofe
record_split_simp_tac now can get simp rules as parameter
2004-10-15, by schirmer
update
2004-10-15, by nipkow
added and renamed
2004-10-15, by nipkow
Added a few lemmas
2004-10-14, by nipkow
mod becuase of chnage in induct
2004-10-13, by nipkow
Added solution to exercise.
2004-10-12, by nipkow
*** empty log message ***
2004-10-12, by nipkow
tweaks concerned with poly bug-fixing
2004-10-12, by paulson
Replaced the_context() by theory "Presburger" in call of invoke_oracle.
2004-10-11, by berghofe
Tuned some proofs.
2004-10-11, by berghofe
Added entry in Settings menu for Toplevel.skip_proofs flag.
2004-10-11, by berghofe
Some changes to allow skipping of proof scripts.
2004-10-11, by berghofe
Proofs needed to be updated because induction now preserves name of
2004-10-11, by nipkow
Induction now preserves the name of the induction variable.
2004-10-11, by nipkow
simplification tweaks for better arithmetic reasoning
2004-10-07, by paulson
*** empty log message ***
2004-10-06, by chaieb
a very simple decision procedure for a fragment of bounded arithmetic
2004-10-06, by chaieb
changed in order to insert Barith.thy
2004-10-06, by chaieb
auto update
2004-10-05, by paulson
new simprules for abs and for things like a/b<1
2004-10-05, by paulson
revised simprules for division
2004-10-04, by paulson
PDF_VIEWER suggestion
2004-10-04, by paulson
Abstract for the Isabelle system
2004-10-04, by paulson
Add openblock/closeblock to other opengoal/closegoal elements
2004-10-02, by aspinall
Allow scanning to recover and reconstruct bad input
2004-10-01, by aspinall
patch to "display"
2004-10-01, by paulson
display-drafts now uses pdf!
2004-10-01, by paulson
tweaking of arithmetic proofs
2004-10-01, by paulson
Comments
2004-10-01, by aspinall
tidied
2004-09-30, by paulson
display pdf as well as dvi
2004-09-30, by kleing
bug-fix with new records
2004-09-30, by schirmer

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

isabelle