Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz

 
1999-02-03 paulson 1999-02-03 tidied; added thy_load.ML changeset | files
1999-02-03 paulson 1999-02-03 tidied, with left_inverse & right_inverse as default simprules changeset | files
1999-02-03 paulson 1999-02-03 auto update changeset | files
1999-02-03 paulson 1999-02-03 inj changeset | files
1999-02-03 paulson 1999-02-03 documented typecheck_tac, etc changeset | files
1999-02-03 paulson 1999-02-03 standard spelling: type-checking changeset | files
1999-02-03 paulson 1999-02-03 inj is now a translation of inj_on changeset | files
1999-02-03 paulson 1999-02-03 standard spelling: type-checking changeset | files
1999-02-01 paulson 1999-02-01 a bit of tidying changeset | files
1999-01-30 wenzelm 1999-01-30 Theory loader primitives. changeset | files
1999-01-29 oheimb 1999-01-29 corrected output of symbols for several (probably not all) relevant functions moved print_mode to ROOT.ML changeset | files
1999-01-29 oheimb 1999-01-29 renamed space2 to spacespace prepared switch for escaped output of symbols (used for ProofGeneral in connection with the x-symbol package) changeset | files
1999-01-29 oheimb 1999-01-29 corrected output of symbols for several (probably not all) relevant functions changeset | files
1999-01-29 oheimb 1999-01-29 moved print_mode to ROOT.ML changeset | files
1999-01-29 paulson 1999-01-29 expandshort changeset | files
1999-01-29 paulson 1999-01-29 expandshort changeset | files
1999-01-29 paulson 1999-01-29 tidied changeset | files
1999-01-28 paulson 1999-01-28 tidied changeset | files
1999-01-28 paulson 1999-01-28 constdefs changeset | files
1999-01-28 paulson 1999-01-28 tidying changeset | files
1999-01-27 nipkow 1999-01-27 arith_tac for min/max changeset | files
1999-01-27 wenzelm 1999-01-27 *** empty log message *** changeset | files
1999-01-27 paulson 1999-01-27 ZF typechecking changeset | files
1999-01-27 paulson 1999-01-27 automatic insertion of datatype intr rules into claset changeset | files
1999-01-27 paulson 1999-01-27 new typechecking solver for the simplifier changeset | files
1999-01-25 wenzelm 1999-01-25 tuned; changeset | files
1999-01-24 nipkow 1999-01-24 Fixed a bug in lin.arith. changeset | files
1999-01-22 wenzelm 1999-01-22 tuned; changeset | files
1999-01-22 wenzelm 1999-01-22 tuned; changeset | files
1999-01-20 wenzelm 1999-01-20 isabelle.in.tum.de; changeset | files
1999-01-20 wenzelm 1999-01-20 http://isabelle.in.tum.de/dist/; changeset | files
1999-01-20 paulson 1999-01-20 renamed variables for clarity changeset | files
1999-01-20 wenzelm 1999-01-20 changed Minho mirror; changeset | files
1999-01-19 paulson 1999-01-19 tidied freeness reasoning changeset | files
1999-01-19 paulson 1999-01-19 freeness reasoning: T.free_iffs changeset | files
1999-01-19 wenzelm 1999-01-19 tuned; changeset | files
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases changeset | files
1999-01-19 paulson 1999-01-19 tidied; added dest_eq changeset | files
1999-01-19 paulson 1999-01-19 simplified thanks to the arithmetic prover changeset | files
1999-01-19 paulson 1999-01-19 updated comments changeset | files
1999-01-19 paulson 1999-01-19 a simplification by G Bella changeset | files
1999-01-18 wenzelm 1999-01-18 structure Graph = Graph; changeset | files
1999-01-18 wenzelm 1999-01-18 GraphFun (generic directed graphs); Graph (graphs indexed by strings); changeset | files
1999-01-18 wenzelm 1999-01-18 added General/graph.ML: generic direct graphs; changeset | files
1999-01-15 oheimb 1999-01-15 removed empty line (in case of empty begin_state marker) before Level line added printing of subgoals number in Level line changeset | files
1999-01-14 nipkow 1999-01-14 Removed superfluous arith rules from metric_simps changeset | files
1999-01-14 nipkow 1999-01-14 More Arith. changeset | files
1999-01-14 nipkow 1999-01-14 Fixed old bug: selection of constant to be split should depend not just on the name but also on the type. changeset | files
1999-01-14 nipkow 1999-01-14 nat_arith_tac -> arith_tac changeset | files
1999-01-14 nipkow 1999-01-14 More arith refinements. changeset | files
1999-01-14 wenzelm 1999-01-14 tuned README; changeset | files
1999-01-14 wenzelm 1999-01-14 Pure/General/symbol.ML; changeset | files
1999-01-14 wenzelm 1999-01-14 tuned; changeset | files
1999-01-13 paulson 1999-01-13 deleted the appendices because documentation exists in the HOL and ZF manuals changeset | files
1999-01-13 paulson 1999-01-13 defined dquotesoff changeset | files
1999-01-13 paulson 1999-01-13 new manual ZF changeset | files
1999-01-13 paulson 1999-01-13 the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions changeset | files
1999-01-13 paulson 1999-01-13 removal of FOL and ZF changeset | files
1999-01-13 paulson 1999-01-13 minor updates on inductive definitions and datatypes changeset | files
1999-01-13 wenzelm 1999-01-13 fixed titles; changeset | files
isabelle