isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

simplified specification of type class
15 months ago, by haftmann
consolidated name of lemma analogously to nat/int/word_bit_induct
15 months ago, by haftmann
more accurate syntax: 'obtain' vars are optional;
15 months ago, by wenzelm
clarified order, disregard structure of proof;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
more thorough treatment of hidden type variables within zproof;
15 months ago, by wenzelm
more uniform treatment of "hyps" within zproof;
15 months ago, by wenzelm
clarified order: follow Thm.fold_terms;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified test: no exception yet;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned signature: more direct operations;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified signature: more direct operations;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
minor performance tuning, for important special case where consts are already expanded (e.g. re-certification within proof procedure);
15 months ago, by wenzelm
tuned whitespace;
15 months ago, by wenzelm
more robust: certify types uniformly (see also 62b75508eb66);
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified signature: avoid redundant Term.maxidx_of_term;
15 months ago, by wenzelm
proper check of result from Soft_Type_System.global_purge (amending b2bedb022a75);
15 months ago, by wenzelm
misc tuning and clarification: prefer Same.operation;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
tuned names;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
tuned whitespace;
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
added and removed lemmas
15 months ago, by nipkow
proper SMTP session: set envelope sender address correctly;
15 months ago, by Fabian Huch
update javamail component with current jakarta mail APIs and eclipse angus implementation;
15 months ago, by Fabian Huch
tuned source structure;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
more zproofs, underlying Proofterm.unconstrain_thm_proof / Thm.unconstrainT;
15 months ago, by wenzelm
omit syntactic of_class check, which is in conflict with sort constraints within the logic;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
misc tuning and clarification;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature: canonical argument order;
15 months ago, by wenzelm

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

isabelle