isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

removed TFL from test;
1997-05-23, by wenzelm
remove cl.cam font server;
1997-05-23, by wenzelm
exec the emacs;
1997-05-23, by wenzelm
Base theory is now Arith, not Nat. (because all datatypes now require Arith).
1997-05-23, by nipkow
All datatypes now require Arith.
1997-05-23, by nipkow
Added overloaded function `size' for all datatypes.
1997-05-23, by nipkow
exhaust_tac can now deal with whole terms rather than just variables.
1997-05-22, by nipkow
added href to Isamode;
1997-05-22, by wenzelm
fixed doc;
1997-05-22, by wenzelm
adapted to Isamode 2.6;
1997-05-22, by wenzelm
tuned Isamode stuff;
1997-05-22, by wenzelm
New headers and other minor changes
1997-05-22, by paulson
Now the recdef induction rule variables are named u, v, ...
1997-05-22, by paulson
New example of recdef and permutative rewriting
1997-05-22, by paulson
Now uses type option instead of Fail/Subst
1997-05-22, by paulson
Now uses type option instead of Fail/Subst
1997-05-22, by paulson
Uses option_case_tac
1997-05-22, by paulson
Deleted rprod: lex_prod is (usually?) enough
1997-05-22, by paulson
Deleted obsolete proofs. But option_case_tac will be obsolete too
1997-05-22, by paulson
New example: ex/Fib
1997-05-22, by paulson
New lemmas used for ex/Fib
1997-05-22, by paulson
Added rotation to exhaust_tac.
1997-05-22, by nipkow
tuned;
1997-05-22, by wenzelm
added;
1997-05-22, by wenzelm
tuned;
1997-05-22, by wenzelm
SYNC;
1997-05-22, by wenzelm
Documented exhaust_tac.
1997-05-22, by nipkow
fixed packages;
1997-05-22, by wenzelm
fixed packages;
1997-05-22, by wenzelm
tuned comments;
1997-05-22, by wenzelm
Replaced res_inst-list_cases by generic exhaust_tac.
1997-05-22, by nipkow
Added exhaustion thm and exhaust_tac for each datatype.
1997-05-22, by nipkow
fixed find cmd;
1997-05-21, by wenzelm
set version;
1997-05-21, by wenzelm
tuned all READMEs;
1997-05-21, by wenzelm
release version (sort of);
1997-05-21, by wenzelm
SYNC;
1997-05-21, by wenzelm
fixed spelling;
1997-05-21, by wenzelm
changes for release 94-8
1997-05-21, by mueller
tuned;
1997-05-21, by wenzelm
Code tidying: removal of C combinator
1997-05-21, by paulson
Basis library input/output primitives; \!simpset instead of HOL_ss
1997-05-21, by paulson
Basis library input/output primitives; currying the induction rule;
1997-05-21, by paulson
TFL induction rule is now curried
1997-05-21, by paulson
Function "sum" now defined using primrec
1997-05-21, by paulson
Mostly cosmetic changes: updated headers, ID lines, etc.
1997-05-21, by paulson
Removed rprod from the WF relation
1997-05-21, by paulson
Removed rprod from the WF relation; simplified proofs;
1997-05-21, by paulson
Replaced Konrad's own add_term_names by the predefined one.
1997-05-21, by nipkow
tuned command line;
1997-05-20, by wenzelm
tuned;
1997-05-20, by wenzelm
under construction;
1997-05-20, by wenzelm
SYNC;
1997-05-20, by wenzelm
fix spelling;
1997-05-20, by wenzelm
the new README;
1997-05-20, by wenzelm
now generated automatically from README.html;
1997-05-20, by wenzelm
README generation;
1997-05-20, by wenzelm
removed Cambridge font server;
1997-05-20, by wenzelm
fixed bash path;
1997-05-20, by wenzelm
reset make_html afterwards;
1997-05-20, by wenzelm

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

isabelle