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

added qualified_names, no_base_names, custom_accesses, set_policy, restore_naming;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
tuned msg;
2005-05-31, by wenzelm
added nth_prem;
2005-05-31, by wenzelm
export filter;
2005-05-31, by wenzelm
Sign.declare_name replaces NameSpace.extend;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
fixed outer syntax: allow type_args with parentheses;
2005-05-31, by wenzelm
proper use of Sign.full_name;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
Theory.restore_naming;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
tuned;
2005-05-31, by wenzelm
antiquotations: added options short_names, unique_names;
2005-05-31, by wenzelm
improved naming of complex theorems in presentation;
2005-05-31, by wenzelm
removed;
2005-05-31, by wenzelm
tuned;
2005-05-31, by wenzelm
tuned;
2005-05-31, by wenzelm
tuned;
2005-05-31, by wenzelm
tuned;
2005-05-30, by wenzelm
Infinite chains in definitions are now detected, too.
2005-05-30, by obua
typo
2005-05-30, by kleing
updated para on searching
2005-05-30, by kleing
added \nexists
2005-05-30, by nipkow
Removes an inconsistent definition from Library.thy ,
2005-05-29, by obua
Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
2005-05-29, by obua
make COPYRIGHT file available for web page
2005-05-29, by kleing
path /home/stud doesn't exist on macbroy33 (only /usr/stud)
2005-05-28, by kleing
SML/NJ compatibility.
2005-05-27, by ballarin
Typo.
2005-05-27, by ballarin
Deleted old code.
2005-05-27, by ballarin
Locale expressions: rename with optional mixfix syntax.
2005-05-27, by ballarin
Add back rudely removed and popular -X option.
2005-05-27, by aspinall
Now uses File.write and File.append
2005-05-27, by paulson
removed obsolete theorems
2005-05-27, by huffman
use TypedefPcpo for all class instances
2005-05-27, by huffman
log more failure types
2005-05-27, by kleing
added lemmas monofun_lub_fun and cont_lub_fun
2005-05-27, by huffman
put global isatest settings in one file, sourced by the other scripts
2005-05-27, by kleing
Use TypedefPcpo theorem for po instance
2005-05-27, by huffman
use thelub_const lemma
2005-05-27, by huffman
added lemma thelub_const
2005-05-27, by huffman
further tweaks to the SPASS setup
2005-05-26, by paulson
goodby to modUnix
2005-05-26, by paulson
trying to set up portable calling sequences for SPASS and tptp2X
2005-05-26, by paulson
cleaned up select_match
2005-05-26, by kleing
Narrower version of the Proof General's head; removal of the alternative icon and environment
2005-05-26, by paulson
Narrower version of the Proof General's head
2005-05-26, by paulson
rewrote continuous isomorphism section, cleaned up
2005-05-26, by huffman
cleaned up, added UU_app and less_funI, removed some obsolete stuff
2005-05-26, by huffman
added defaultsort declaration, moved cpair_less to Cprod.thy
2005-05-26, by huffman
added defaultsort declaration
2005-05-26, by huffman
cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff
2005-05-26, by huffman
removed dependence on Cfun.thy
2005-05-26, by huffman
moved adm_chfindom from Adm.thy to Fix.thy, to remove dependence on Cfun
2005-05-26, by huffman
new Brouwer ordinal example
2005-05-25, by paulson
more cleanup
2005-05-25, by kleing
tuned thm_style section
2005-05-25, by kleing
added ? explanations
2005-05-25, by nipkow

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

isabelle