2009-04-17 haftmann 2009-04-17 added both cancel_div_mod_procs
2009-04-16 haftmann 2009-04-16 wellsortedness is no issue for a user manual any more
2009-04-16 haftmann 2009-04-16 whitespace tuning
2009-04-16 haftmann 2009-04-16 added simproc
2009-04-16 haftmann 2009-04-16 dropped unnamed infix
2009-04-16 haftmann 2009-04-16 tuned setups of CancelDivMod
2009-04-16 haftmann 2009-04-16 merged
2009-04-16 haftmann 2009-04-16 tuned order of functions
2009-04-16 haftmann 2009-04-16 generalized some simprocs from int to semiring_div
2009-04-16 haftmann 2009-04-16 tightended specification of class semiring_div
2009-04-15 haftmann 2009-04-15 code generator bootstrap theory src/Tools/Code_Generator.thy
2009-04-15 haftmann 2009-04-15 say farewell to code related to old code_funcgr module
2009-04-15 haftmann 2009-04-15 wrecked old code_funcgr module
2009-04-15 haftmann 2009-04-15 index type is a semiring_div
2009-04-15 haftmann 2009-04-15 theory NatBin now named Nat_Numeral
2009-04-15 haftmann 2009-04-15 default instantiation for unit type
2009-04-15 haftmann 2009-04-15 more coherent developement in Divides.thy and IntDiv.thy
2009-04-21 huffman 2009-04-21 add more examples to Domain_ex.thy
2009-04-21 huffman 2009-04-21 merged
2009-04-21 huffman 2009-04-21 add HOLCF/ex/Domain_ex.thy, with example uses of the domain package
2009-04-21 huffman 2009-04-21 make domain package ML interface more consistent with datatype package; use binding instead of bstring
2009-04-21 huffman 2009-04-21 use Sign.add_consts instead of ContConsts.add_consts
2009-04-21 huffman 2009-04-21 merged
2009-04-20 huffman 2009-04-20 allow infix declarations for type constructors defined with domain package
2009-04-20 huffman 2009-04-20 remove obsolete comments
2009-04-20 huffman 2009-04-20 fix too-specific types in lemmas match_{sinl,sinr}_simps
2009-04-13 huffman 2009-04-13 domain package now generates iff rules for definedness of constructors
2009-04-11 huffman 2009-04-11 change definition of match combinators for fixrec package
2009-04-10 huffman 2009-04-10 domain package: simplify internal proofs of con_rews
2009-04-10 huffman 2009-04-10 set up domain package in Domain.thy
2009-04-21 krauss 2009-04-21 tuned proof
2009-04-21 krauss 2009-04-21 replace type cong = {thm : thm, lhs : term} by plain thm -- the other component has been unused for a long time.
2009-04-21 krauss 2009-04-21 inlined afterqeds to improve clarity; tuned
2009-04-21 krauss 2009-04-21 simplify computation and consistency checks of argument counts in the input
2009-04-20 wenzelm 2009-04-20 removed obsolete test tags;
2009-04-20 wenzelm 2009-04-20 back to non-release mode;
2009-04-19 wenzelm 2009-04-19 Added tag Isabelle2009 for changeset 5c8618f95d24
2009-04-16 wenzelm 2009-04-16 merged Isabelle2009
2009-04-16 wenzelm 2009-04-16 give up file type / dropability for now -- does not work reliably; tuned;
2009-04-16 wenzelm 2009-04-16 Added tag isa2009-test for changeset d394a17d4fdb
2009-04-16 wenzelm 2009-04-16 external_prover: "exec" the command line, in order to preserve the exact process context of the "system" invocation (this recovers interruptibility of E-1.0, which assumes to be the process group leader);
2009-04-15 wenzelm 2009-04-15 misc tuning for Isabelle2009;
2009-04-15 wenzelm 2009-04-15 tuned;
2009-04-15 wenzelm 2009-04-15 more generic error message, which also covers more fundamental failure;
2009-04-15 wenzelm 2009-04-15 updated for Isabelle2009;
2009-04-14 wenzelm 2009-04-14 tuned;
2009-04-14 wenzelm 2009-04-14 more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
2009-04-14 wenzelm 2009-04-14 merged
2009-04-14 wenzelm 2009-04-14 actually invoke ISABELLE_TOOL;
2009-04-14 wenzelm 2009-04-14 added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
2009-04-14 wenzelm 2009-04-14 ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
2009-04-14 wenzelm 2009-04-14 misc updates for Isabelle2009;
2009-04-08 wenzelm 2009-04-08 Added tag isa2009-test for changeset dda08b76fa99
2009-04-08 wenzelm 2009-04-08 updated official title of contribution by Johannes Hoelzl;
2009-04-07 wenzelm 2009-04-07 misc tuning and updates;
2009-04-07 wenzelm 2009-04-07 updated doc setup;
2009-04-07 wenzelm 2009-04-07 merged
2009-04-07 wenzelm 2009-04-07 moved generated eps/pdf to main directory, for proper display in dvi;
2009-04-07 wenzelm 2009-04-07 updates for E-1.0-004;
2009-04-07 haftmann 2009-04-07 tuned manual