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

conversion of theorems to atomic form
2004-05-14, by paulson
New simp rules added:
2004-05-13, by mehta
simpilified and strengthened proofs
2004-05-12, by paulson
fixed latex problems
2004-05-12, by nipkow
renamed `> to o_m
2004-05-12, by nipkow
changes made due to new Ring_and_Field theory
2004-05-11, by obua
Eta-expanded function scan_comment to make SmlNJ happy.
2004-05-11, by berghofe
broken no longer includes TTP, and other minor changes
2004-05-11, by paulson
removal of prime characters
2004-05-11, by paulson
package needed for superscripts
2004-05-11, by paulson
conversion to clauses for ordinary resolution rather than ME
2004-05-11, by paulson
auto update
2004-05-11, by paulson
Pure: nested comments in inner syntax;
2004-05-10, by wenzelm
support nested comments;
2004-05-10, by wenzelm
changed Symbol.beginning;
2004-05-10, by wenzelm
tuned;
2004-05-10, by wenzelm
Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat);
2004-05-10, by wenzelm
added Scan.list;
2004-05-10, by wenzelm
ProofGeneral.process_pgip command;
2004-05-10, by wenzelm
preparation for integration with new Ring_and_Field.thy
2004-05-10, by obua
moved first lemma in LongDiv.ML to LongDiv.thy
2004-05-10, by obua
replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style
2004-05-09, by obua
removed Aux.thy;
2004-05-09, by bauerg
cleanup up read functions, include liberal versions;
2004-05-07, by wenzelm
be liberal about constant names;
2004-05-07, by wenzelm
tuned;
2004-05-07, by wenzelm
tuned notation;
2004-05-07, by wenzelm
tuned document;
2004-05-07, by wenzelm
*** empty log message ***
2004-05-07, by bauerg
Add FIXME note re FAIL (is it fixed yet?)
2004-05-07, by aspinall
Add cdata output. Add tabs in whitespace. Write two strings instead of Library.quote.
2004-05-07, by aspinall
Add -X option to trigger PGIP interaction mode.
2004-05-07, by aspinall
*** empty log message ***
2004-05-07, by bauerg
replaced Aux.thy by RealLemmas.thy
2004-05-07, by bauerg
tuned HOL/record package; enabled record_upd_simproc by default.
2004-05-06, by schirmer
improved block sup/sub;
2004-05-06, by wenzelm
show_structs option;
2004-05-06, by wenzelm
tuned document;
2004-05-06, by wenzelm
tidied
2004-05-06, by paulson
auto update
2004-05-06, by paulson
redundant clause removed
2004-05-04, by webertj
solved sml-nj compatibility problem
2004-05-04, by schirmer
tuned;
2004-05-04, by schirmer
reimplementation of HOL records; only one type is created for
2004-05-03, by schirmer
tuned;
2004-05-01, by wenzelm
improvd indexed syntax and implicit structures; tuned renaming of symbolic identifiers
2004-05-01, by wenzelm
improved indexed syntax / implicit structures;
2004-05-01, by wenzelm
tuned;
2004-05-01, by wenzelm
improved Term.invent_names;
2004-05-01, by wenzelm
removed 'constdefs' hack;
2004-05-01, by wenzelm
improved syntax;
2004-05-01, by wenzelm
improved subscript syntax;
2004-05-01, by wenzelm
tuned instance statements;
2004-05-01, by wenzelm
_index1: accomodate improved indexed syntax;
2004-05-01, by wenzelm
breaks flag;
2004-05-01, by wenzelm
warning: non-identifier declaration;
2004-04-29, by wenzelm
added is_keyword;
2004-04-29, by wenzelm
added is_literal;
2004-04-29, by wenzelm
more robust output of definitions;
2004-04-29, by wenzelm
removed 'constdefs' hack;
2004-04-29, by wenzelm

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

isabelle