2008-07-29 haftmann 2008-07-29 declare
2008-07-28 nipkow 2008-07-28 *** empty log message ***
2008-07-27 urbanc 2008-07-27 simplified a proof
2008-07-26 haftmann 2008-07-26 tuned function name
2008-07-26 haftmann 2008-07-26 tuned bootstrap order
2008-07-25 haftmann 2008-07-25 subclass now also works for subclasses with empty specificaton
2008-07-25 haftmann 2008-07-25 dropped PureThy.note; added PureThy.add_thm
2008-07-25 haftmann 2008-07-25 added class preorder
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-07-25 haftmann 2008-07-25 added explicit root theory; some tuning
2008-07-25 haftmann 2008-07-25 tuned
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-07-21 haftmann 2008-07-21 (re-)added simp rules for (_ + _) div/mod _
2008-07-21 haftmann 2008-07-21 (re-)added simp rules for (_ + _) div/mod _
2008-07-21 haftmann 2008-07-21 added explicit purge_data
2008-07-21 haftmann 2008-07-21 added code generation
2008-07-21 haftmann 2008-07-21 fixed code generator setup
2008-07-21 haftmann 2008-07-21 (adjusted)
2008-07-21 chaieb 2008-07-21 Tuned and corrected ideal_tac for algebra.
2008-07-21 chaieb 2008-07-21 Theorems divides_le, ind_euclid, bezout_lemma, bezout_add, bezout, bezout_add_strong, gcd_unique,gcd_eq, bezout_gcd, bezout_gcd_strong, gcd_mult_distrib, gcd_bezout to GCD.thy
2008-07-21 chaieb 2008-07-21 Tuned and simplified proofs; Rules added to presburger's and algebra's context; moved Bezout theorems from Primes.thy
2008-07-21 chaieb 2008-07-21 Tuned and simplified proofs
2008-07-21 chaieb 2008-07-21 Added theorems zmod_eq_dvd_iff and nat_mod_eq_iff previously in Pocklington.thy --- relevant for algebra
2008-07-21 chaieb 2008-07-21 Relevant rules added to algebra's context
2008-07-20 wenzelm 2008-07-20 renamed item to span, renamed contructors; added span_range;
2008-07-20 wenzelm 2008-07-20 adapted ThyEdit.span;
2008-07-20 wenzelm 2008-07-20 maintain token range;
2008-07-20 wenzelm 2008-07-20 tty loop: do not report status;
2008-07-20 wenzelm 2008-07-20 added type range;
2008-07-20 wenzelm 2008-07-20 renamed command span markup;
2008-07-20 wenzelm 2008-07-20 SideKickParsedData: minimal content;
2008-07-20 haftmann 2008-07-20 (adjusted)
2008-07-20 haftmann 2008-07-20 (adjusted)
2008-07-19 bulwahn 2008-07-19 added verification framework for the HeapMonad and quicksort as example for this framework
2008-07-19 wenzelm 2008-07-19 build jedit plugin only if jedit is available;
2008-07-18 wenzelm 2008-07-18 misc tuning;
2008-07-18 haftmann 2008-07-18 more class instantiations
2008-07-18 haftmann 2008-07-18 refined code generator setup for rational numbers; more simplification rules for rational numbers
2008-07-18 haftmann 2008-07-18 moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
2008-07-18 wenzelm 2008-07-18 fixed Scala path;
2008-07-17 wenzelm 2008-07-17 tuned build order;
2008-07-17 wenzelm 2008-07-17 proper purge_tmp; remove .cvsignore files;
2008-07-17 wenzelm 2008-07-17 tuned message;
2008-07-17 wenzelm 2008-07-17 tuned line breaks (NB: generated text is inserted here);
2008-07-17 wenzelm 2008-07-17 proper usage message; more precise perl replacements; less verbosity;
2008-07-17 wenzelm 2008-07-17 make Isabelle source distribution (via Mercurial);
2008-07-17 wenzelm 2008-07-17 explicit Distribution.changelog;
2008-07-17 wenzelm 2008-07-17 structure Distribution: swapped default for is_official;
2008-07-17 wenzelm 2008-07-17 ThyInfo.remove_thy;
2008-07-17 wenzelm 2008-07-17 structure Distribution: swapped default for is_official; removed obsolete (?) sync/sleep;
2008-07-17 wenzelm 2008-07-17 use ../isabelle.sty and ../isabellesym.sty;
2008-07-17 wenzelm 2008-07-17 tuned whitespace;
2008-07-17 wenzelm 2008-07-17 removed old checklist;
2008-07-17 wenzelm 2008-07-17 obsolete;
2008-07-17 wenzelm 2008-07-17 tuned;
2008-07-17 wenzelm 2008-07-17 discontinued maketags;
2008-07-17 wenzelm 2008-07-17 assume GNU tar and find; Admin/build all; discontinued maketags;
2008-07-17 wenzelm 2008-07-17 tuned;
2008-07-17 wenzelm 2008-07-17 use ../isabellesym.sty, which is always available;
2008-07-17 wenzelm 2008-07-17 Admin/build browser;