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

Comment
2007-01-22, by aspinall
Add line_of, name_of destructors.
2007-01-22, by aspinall
Added lemma nat_size[simp]: "size (n::nat) = n"
2007-01-22, by krauss
tuned;
2007-01-22, by wenzelm
improved fact references: thmref;
2007-01-21, by wenzelm
added atomic, print_int;
2007-01-21, by wenzelm
tuned ML setup;
2007-01-21, by wenzelm
* ML in Isar: improved error reporting;
2007-01-21, by wenzelm
tuned;
2007-01-21, by wenzelm
*** MESSAGE REFERS TO PREVIOUS VERSION ***
2007-01-21, by wenzelm
*** MESSAGE REFERS TO PREVIOUS VERSION ***
2007-01-21, by wenzelm
tuned comments
2007-01-21, by wenzelm
simplified ML setup;
2007-01-21, by wenzelm
use_text: added name argument;
2007-01-21, by wenzelm
moved File.use to ML_Context.use;
2007-01-21, by wenzelm
use_text: added name argument;
2007-01-21, by wenzelm
Added simproc list_neq (prompted by an application)
2007-01-21, by nipkow
Added lists-as-multisets functions
2007-01-21, by nipkow
Simple and efficient binary numerals.
2007-01-20, by wenzelm
added HOL/ex/Binary.thy;
2007-01-20, by wenzelm
tuned ML setup;
2007-01-20, by wenzelm
* ML within Isar: antiquotations;
2007-01-20, by wenzelm
added @{theory};
2007-01-20, by wenzelm
added the_context_finished;
2007-01-20, by wenzelm
Toplevel.debug: coincide with Output.debugging;
2007-01-20, by wenzelm
ML tactic: proper context for compile and runtime;
2007-01-20, by wenzelm
tuned;
2007-01-20, by wenzelm
added @{simpset};
2007-01-20, by wenzelm
added is_finished_thy;
2007-01-20, by wenzelm
Output.debug: non-strict;
2007-01-20, by wenzelm

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

isabelle