2008-01-10 huffman 2008-01-10 new compactness lemmas
2008-01-10 huffman 2008-01-10 new lemmas max_in_chainI, max_in_chainD
2008-01-09 haftmann 2008-01-09 overloading target
2008-01-09 nipkow 2008-01-09 tuned
2008-01-09 nipkow 2008-01-09 added simp attributes/ proofs fixed
2008-01-09 nipkow 2008-01-09 added simp attributes
2008-01-09 nipkow 2008-01-09 Finally: no more unproven.
2008-01-09 haftmann 2008-01-09 tuned
2008-01-09 haftmann 2008-01-09 some more primrec
2008-01-09 haftmann 2008-01-09 tuned
2008-01-09 haftmann 2008-01-09 a note on syntax in class context
2008-01-09 haftmann 2008-01-09 a note on syntax
2008-01-08 urbanc 2008-01-08 tuned proofs
2008-01-08 haftmann 2008-01-08 normalization conversion
2008-01-08 haftmann 2008-01-08 tuned comment
2008-01-08 haftmann 2008-01-08 explicit type variables for instantiation
2008-01-08 haftmann 2008-01-08 better error reporting
2008-01-08 haftmann 2008-01-08 tuned
2008-01-08 haftmann 2008-01-08 refined overloading target
2008-01-08 berghofe 2008-01-08 imp_conv_disj is now declared as a "code unfold" lemma to avoid that conclusion is evaluated eagerly.
2008-01-07 wenzelm 2008-01-07 isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
2008-01-07 urbanc 2008-01-07 some pre-release tunings
2008-01-06 wenzelm 2008-01-06 more robust console thread (cf. jedit plugin version);
2008-01-06 wenzelm 2008-01-06 build Isabelle process wrapper; build jEdit plugin, if Scala is available;
2008-01-06 wenzelm 2008-01-06 * Rudimentary Isabelle plugin for jEdit;
2008-01-06 wenzelm 2008-01-06 added plugin installation;
2008-01-06 wenzelm 2008-01-06 tuned;
2008-01-06 wenzelm 2008-01-06 purge build directory;
2008-01-06 wenzelm 2008-01-06 basic setup for Isabelle/jEdit plugin;
2008-01-06 wenzelm 2008-01-06 added interface for command-line option;
2008-01-06 wenzelm 2008-01-06 removed obsolete prompt and channel markups; replaced prompt markup by prompt channel setup (avoids left-over XML encoding); tuned;
2008-01-06 wenzelm 2008-01-06 replaced prompt markup by prompt channel setup;
2008-01-06 wenzelm 2008-01-06 removed obsolete prompt markup;
2008-01-06 wenzelm 2008-01-06 removed unused of_stream; tty: Output.prompt, avoid low-level TextIO;
2008-01-06 wenzelm 2008-01-06 added explicit prompt channel (prompt_fn/prompt); tuned;
2008-01-06 wenzelm 2008-01-06 removed obsolete prompt and channel markups;
2008-01-05 chaieb 2008-01-05 Tuned relevant premises selection
2008-01-05 wenzelm 2008-01-05 tuned comments;
2008-01-05 wenzelm 2008-01-05 added symbol output mode, with XML escapes; improved message markup: get first position from body text; added INIT message, with pid and session property; removed adhoc PID handling; tuned;
2008-01-05 wenzelm 2008-01-05 export session id;
2008-01-05 wenzelm 2008-01-05 secure_main: removed separate welcome;
2008-01-05 wenzelm 2008-01-05 removed unused text_charref, cdata; added plain_content;
2008-01-05 wenzelm 2008-01-05 added INIT message, with pid and session property; removed adhoc PID handling;
2008-01-05 haftmann 2008-01-05 more instantiation
2008-01-05 haftmann 2008-01-05 adhering to instantiation policy
2008-01-04 huffman 2008-01-04 cleaned up some proofs
2008-01-04 huffman 2008-01-04 simplified some proofs
2008-01-04 urbanc 2008-01-04 partially adapted to new inversion rules
2008-01-04 urbanc 2008-01-04 adapted to new inversion rules
2008-01-04 haftmann 2008-01-04 fixed typo
2008-01-04 haftmann 2008-01-04 improved warning
2008-01-04 huffman 2008-01-04 add new is_ub lemmas; clean up directed_finite proofs
2008-01-04 huffman 2008-01-04 new instance proofs for classes finite_po, chfin, flat
2008-01-03 huffman 2008-01-03 new lemma flat_less_iff
2008-01-03 huffman 2008-01-03 generalized chfindom_monofun2cont
2008-01-03 berghofe 2008-01-03 Implemented proof of strong case analysis rule.
2008-01-03 berghofe 2008-01-03 Added function fresh_const.
2008-01-03 berghofe 2008-01-03 Added function partition_rules'.
2008-01-03 wenzelm 2008-01-03 another attempt to disable documents;
2008-01-03 wenzelm 2008-01-03 simplified position_props, always include line/file fields;