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

fixed a comment
2003-11-18, by paulson
new theorems for Rings
2003-11-18, by paulson
conversion of ML to Isar scripts
2003-11-18, by paulson
Improved error handling: add_primrec now prints out ill-formed equation
2003-11-18, by berghofe
Type inference bug in Isar attributes "where" and "of" fixed.
2003-11-14, by ballarin
tidied
2003-11-12, by paulson
Records:
2003-11-06, by schirmer
Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by
2003-11-06, by ballarin
fixed
2003-10-31, by kleing
set isatool usedir to verbose by default
2003-10-31, by kleing
Got rid of the structure "Int", which was obsolete and which obscured the
2003-10-30, by paulson
Inserted additional checks in functions dest_prem and add_prod_factors, to
2003-10-29, by berghofe
tidying
2003-10-29, by paulson
Tuned proof of choice_eq.
2003-10-29, by berghofe
*** empty log message ***
2003-10-29, by nipkow
added sydney unsw mirror. contact: me (gerwin.klein@nicta.com.au)
2003-10-24, by kleing
auto update
2003-10-22, by paulson
InductiveInvariant_examples illustrates advanced recursive function definitions
2003-10-22, by paulson
recursion
2003-10-22, by paulson
Added access to the mk_rews field (and friends).
2003-10-21, by skalberg
Prevent recdef from looping when the inductio rule is simplified
2003-10-17, by paulson
improved tracing
2003-10-17, by paulson
partial conversion to Isar scripts
2003-10-16, by paulson
improved presentation
2003-10-16, by paulson
line-breaks; rewording
2003-10-16, by paulson
partial conversion to Isar scripts
2003-10-16, by paulson
Fixed bug in mk_ind_def that caused the inductive definition package to
2003-10-15, by berghofe
use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
2003-10-15, by kleing
allow \<^sub> in identifiers
2003-10-15, by kleing
included \<^sub> in the range of identifier chars
2003-10-15, by kleing
Fixed spelling error.
2003-10-13, by skalberg
Added overview page.
2003-10-10, by berghofe
Munich webserver is now atbroy1
2003-10-10, by berghofe
trivial
2003-10-10, by paulson
finalconsts
2003-10-10, by paulson
Made judgments automatically declared final.
2003-10-10, by skalberg
better presentation
2003-10-10, by paulson
Added info on the new 'finalconsts' command.
2003-10-09, by skalberg
Added support for making constants final, that is, ensuring that no
2003-10-09, by skalberg
Added axiomatic specifications (ax_specification).
2003-10-08, by skalberg
now accepts DOS and Mac line breaks
2003-10-08, by paulson
Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
2003-10-08, by paulson
added a comment
2003-10-03, by paulson
removal of junk and improvement of the document
2003-10-02, by paulson
Fixed inefficiency in post_definition by adding weak case congruence
2003-10-01, by berghofe
Removed garbage accidentally left behind in file.
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
Changed order of prems in finprod_cong. Slight speedup.
2003-09-30, by ballarin
Improvements wrt rule_tac.
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
new reference
2003-09-26, by paulson
tweak
2003-09-26, by paulson
misc tidying
2003-09-26, by paulson
Conversion of all main protocols from "Shared" to "Public".
2003-09-26, by paulson
Tidying of SET's "possibility theorems" (removal of Key_supply_ax)
2003-09-26, by paulson
new example for the Isar version of the ZF manual
2003-09-24, by paulson
Fixed soundness bug.
2003-09-23, by skalberg
conversion of NSP_Bad to Isar script
2003-09-23, by paulson
case_tac tweak
2003-09-23, by paulson

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

isabelle