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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

cleaned up
2007-05-10, by haftmann
beta/eta conversion after preprocessor
2007-05-10, by haftmann
fixed typo
2007-05-10, by haftmann
more conversions;
2007-05-10, by wenzelm
Moved extraction_expand declaration of listall_def outside of definition.
2007-05-10, by berghofe
Adapted to new naming scheme for definitions.
2007-05-10, by berghofe
Changed name of raw definition.
2007-05-10, by berghofe
Name of ML function "not" is now qualified in order to avoid
2007-05-10, by berghofe
consts in consts_code Isar commands are now referred to by usual term syntax
2007-05-10, by haftmann
size [nat] is identity
2007-05-10, by haftmann
explicit import of Datatype.thy due to hook bootstrap problem
2007-05-10, by haftmann
localized Sup/Inf
2007-05-10, by haftmann
localized Min/Max
2007-05-10, by haftmann
tuned
2007-05-10, by haftmann
fix proofs
2007-05-10, by huffman
remove redundant lemmas
2007-05-10, by huffman
lemmas iszero_(h)complex_number_of are no longer needed
2007-05-10, by huffman
instance real_algebra_1 < ring_char_0
2007-05-10, by huffman
new axclass ring_char_0 for rings with characteristic 0, used for of_int_eq_iff and related lemmas
2007-05-10, by huffman
moved conversions to structure Conv;
2007-05-10, by wenzelm
added dest_fun/fun2/arg1;
2007-05-10, by wenzelm
tuned argument_type_of;
2007-05-10, by wenzelm
added destructors from drule.ML;
2007-05-10, by wenzelm
moved some operations to more_thm.ML and conv.ML;
2007-05-10, by wenzelm
Conversions: primitive equality reasoning (from drule.ML);
2007-05-10, by wenzelm
added conv.ML;
2007-05-10, by wenzelm
Thm.match;
2007-05-10, by wenzelm
moved some Drule operations to Thm (see more_thm.ML);
2007-05-10, by wenzelm
Thm.first_order_match;
2007-05-10, by wenzelm
moved conversions to structure Conv;
2007-05-10, by wenzelm

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

isabelle