2009-01-27 wenzelm 2009-01-27 HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;
2009-01-27 wenzelm 2009-01-27 thm_proof: recovered single-threaded version;
2009-01-27 wenzelm 2009-01-27 merged
2009-01-27 wenzelm 2009-01-27 recovered example types from WordMain.thy;
2009-01-27 wenzelm 2009-01-27 merged
2009-01-27 wenzelm 2009-01-27 added share_common_data -- reduces heap space, but takes long;
2009-01-27 wenzelm 2009-01-27 use https;
2009-01-27 wenzelm 2009-01-27 thm_proof: replaced lazy by composed futures;
2009-01-27 wenzelm 2009-01-27 proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force;
2009-01-26 haftmann 2009-01-26 explicit constraints
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word
2009-01-26 haftmann 2009-01-26 fixed reading of class specs: declare class operations in context
2009-01-26 haftmann 2009-01-26 stripped Id
2009-01-26 haftmann 2009-01-26 streamlined definitions, executable equality
2009-01-26 haftmann 2009-01-26 tuned header
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word
2009-01-26 haftmann 2009-01-26 correct proof of assm_intro rule
2009-01-26 haftmann 2009-01-26 sorted_take, sorted_drop
2009-01-23 haftmann 2009-01-23 merged
2009-01-23 haftmann 2009-01-23 fixed fixme
2009-01-23 haftmann 2009-01-23 avoiding misleading name duplicate
2009-01-23 haftmann 2009-01-23 lemmas dom_const, dom_if
2009-01-23 wenzelm 2009-01-23 merged
2009-01-23 immler 2009-01-23 moved all output to watcher-thread
2009-01-23 haftmann 2009-01-23 be more liberal with selected code statements
2009-01-23 haftmann 2009-01-23 making SMLNJ happy
2009-01-22 wenzelm 2009-01-22 tuned signature;
2009-01-22 haftmann 2009-01-22 binding replaces Binding.T
2009-01-22 haftmann 2009-01-22 binding replaces bstring
2009-01-22 haftmann 2009-01-22 simplified handling of base sort, dropped axclass
2009-01-22 haftmann 2009-01-22 dropped print_interps
2009-01-22 haftmann 2009-01-22 binding replaces bstring
2009-01-21 haftmann 2009-01-21 merged
2009-01-21 haftmann 2009-01-21 allow empty class specs
2009-01-21 haftmann 2009-01-21 changed import hierarchy
2009-01-21 haftmann 2009-01-21 no base sort in class import
2009-01-21 wenzelm 2009-01-21 updated generated files;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2009-01-21 wenzelm 2009-01-21 eliminated obsolete var morphism;
2009-01-21 wenzelm 2009-01-21 eliminated obsolete var morphism; tuned;
2009-01-21 wenzelm 2009-01-21 eliminated obsolete var morphism; simplified map_ctxt: just one version, without var; removed obsolete params_of, prems_of, facts_of; removed obsolete rename operations; tuned;
2009-01-21 wenzelm 2009-01-21 merged
2009-01-21 wenzelm 2009-01-21 tuned whitespace;
2009-01-21 wenzelm 2009-01-21 merged
2009-01-21 immler 2009-01-21 removed vampire-wrapper (remote-script covers that)
2009-01-21 immler 2009-01-21 2 provers
2009-01-21 immler 2009-01-21 tuned; really find failure
2009-01-20 immler 2009-01-20 do not interrupt successful thread
2009-01-20 immler 2009-01-20 cancel whole group
2009-01-20 immler 2009-01-20 Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
2009-01-20 immler 2009-01-20 pass timeout to prover; especially to remote-script
2009-01-20 immler 2009-01-20 typo
2009-01-20 immler 2009-01-20 merged
2009-01-20 immler 2009-01-20 modified remote script; modified handling of errors
2009-01-19 immler 2009-01-19 Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
2009-01-14 immler 2009-01-14 removed useless
2009-01-12 immler 2009-01-12 simplified usage of remote-script; added compatible remote-atps
2009-01-21 haftmann 2009-01-21 dropped print_interps
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2009-01-21 haftmann 2009-01-21 merged