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

thmref: selection syntax;
2005-04-09, by wenzelm
update syntax of 'where' and 'of';
2005-04-09, by wenzelm
added PDF_VIEWER, ISABELLE_DOC_FORMAT;
2005-04-09, by wenzelm
Reconstruction code, now packaged to avoid name clashes
2005-04-08, by paulson
temporarily removed ATP code
2005-04-08, by paulson
removed bad code
2005-04-07, by paulson
Changed prob1.dfg to prob_1.dfg
2005-04-07, by quigley
Got rid of Main.thy reference
2005-04-07, by quigley
Integrating the reconstruction files into the building of HOL
2005-04-07, by quigley
Reconstruction.thy and IsaMakefile updated
2005-04-07, by quigley
*** empty log message ***
2005-04-07, by nipkow
new meta-level rules
2005-04-07, by paulson
*** empty log message ***
2005-04-07, by nipkow
reverted renaming of Some/None in comments and strings;
2005-04-07, by wenzelm
added term_8;
2005-04-07, by wenzelm
added get_axiom_i, invoke_oracle_i;
2005-04-07, by wenzelm
Drule.add_used;
2005-04-07, by wenzelm
invalidated former constructors None/OPTION to prevent accidental use as match-all patterns!
2005-04-07, by wenzelm
added add_used; include tpairs;
2005-04-07, by wenzelm
improved exn_message;
2005-04-07, by wenzelm
Thm.invoke_oracle_i;
2005-04-07, by wenzelm
Scan.peek;
2005-04-07, by wenzelm
tuned updates, added map_entry;
2005-04-07, by wenzelm
added some, peek, trace'; tuned;
2005-04-07, by wenzelm
added header;
2005-04-07, by wenzelm
improved comments;
2005-04-07, by wenzelm
reverted renaming of Some/None in comments and strings;
2005-04-07, by wenzelm
handle Option instead of OPTION;
2005-04-07, by wenzelm
updated it
2005-04-06, by nipkow
watcher.ML and watcher.sig changed. Debug files now write to tmp.
2005-04-06, by quigley
Current version of res_atp.ML - causes an error when I run it. C.Q.
2005-04-05, by quigley
lexicographic order by Norbert Voelker
2005-04-05, by paulson
arg_cong2 by Norbert Voelker
2005-04-05, by paulson
*** empty log message ***
2005-04-05, by nipkow
Updated to add watcher code.
2005-04-04, by quigley
CVSfj
2005-04-04, by quigley
Replaced continuity solver with new continuity simproc. Also removed cont lemmas from simp set, so that the simproc actually gets used.
2005-04-02, by huffman
converted to new-style theory
2005-04-02, by huffman
convert to new-style theory
2005-04-01, by huffman
x-symbols and other tidying
2005-04-01, by paulson
Updated import configuration.
2005-04-01, by skalberg
bring make to delete files on error
2005-04-01, by gagern
patch to get it working again
2005-04-01, by paulson
*** empty log message ***
2005-03-31, by quigley
*** empty log message ***
2005-03-31, by quigley
*** empty log message ***
2005-03-31, by quigley
added theorems eta_cfun and cont2cont_eta
2005-03-31, by huffman
chfin now a subclass of po, proved instance chfin < cpo
2005-03-31, by huffman
cleaned up some proofs
2005-03-31, by huffman
fixed bug in prj' function
2005-03-31, by huffman
changed comments to text blocks, cleaned up a few proofs
2005-03-31, by huffman
converted from DOS to UNIX format
2005-03-30, by paulson
converted HOL-Subst to tactic scripts
2005-03-29, by paulson
conversion of UNITY to Isar scripts
2005-03-28, by paulson
new display of theory stamps
2005-03-26, by paulson
op vor infix-Konstruktoren im datatype binding zum besseren Parsen
2005-03-26, by gagern
use Library/Multiset instead of own definition
2005-03-26, by kleing
fixed typo (multiset_append)
2005-03-26, by kleing
Add askguise/informguise as best as easily possible. Prevent warning in openfile when file doesn't exist in theory database.
2005-03-25, by aspinall
tidied up
2005-03-25, by paulson

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

isabelle