1997-12-03 |
nipkow |
n ~= 0 should become 0 < n
|
file |
diff |
annotate
|
1997-12-01 |
wenzelm |
nat_cancel simprocs;
|
file |
diff |
annotate
|
1997-11-28 |
paulson |
addsplits now in FOL, ZF too
|
file |
diff |
annotate
|
1997-11-21 |
wenzelm |
cd, use etc. now support path variables;
|
file |
diff |
annotate
|
1997-11-12 |
oheimb |
renamed split_prem_tac to split_asm_tac
|
file |
diff |
annotate
|
1997-11-07 |
oheimb |
added split_prem_tac
|
file |
diff |
annotate
|
1997-11-06 |
paulson |
subgoal_tac displays a warning if the new subgoal has type variables
|
file |
diff |
annotate
|
1997-11-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-11-05 |
paulson |
UNIV & UNION1
|
file |
diff |
annotate
|
1997-11-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-11-04 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
1997-11-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-11-03 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
1997-11-03 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
1997-10-30 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
1997-10-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-10-24 |
nipkow |
HOL/Map
|
file |
diff |
annotate
|
1997-10-21 |
wenzelm |
improved handling of draft signatures / theories; draft thms (and
|
file |
diff |
annotate
|
1997-10-21 |
nipkow |
typo
|
file |
diff |
annotate
|
1997-10-20 |
wenzelm |
tuned qualified names;
|
file |
diff |
annotate
|
1997-10-18 |
nipkow |
addsplits
|
file |
diff |
annotate
|
1997-10-16 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-10-15 |
wenzelm |
slightly changed interfaces for oracles;
|
file |
diff |
annotate
|
1997-10-14 |
wenzelm |
browser info;
|
file |
diff |
annotate
|
1997-10-14 |
paulson |
rearranged and added TLA
|
file |
diff |
annotate
|
1997-10-13 |
wenzelm |
print_goals: optional output of const types (set show_consts);
|
file |
diff |
annotate
|
1997-10-13 |
wenzelm |
hierachically structured name spaces;
|
file |
diff |
annotate
|
1997-10-09 |
wenzelm |
no longer handles consts "" -- use syntax instead;
|
file |
diff |
annotate
|
1997-09-29 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-09-29 |
paulson |
Safe_tac; qed_spec_mp in FOL
|
file |
diff |
annotate
|
1997-09-25 |
paulson |
Clarify_tac; general reorganization
|
file |
diff |
annotate
|
1997-09-22 |
wenzelm |
Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
|
file |
diff |
annotate
|
1997-09-12 |
mueller |
extended adm_tac;
|
file |
diff |
annotate
|
1997-09-11 |
wenzelm |
replaced print_goals_ref hook by print_current_goals_fn and
|
file |
diff |
annotate
|
1997-09-04 |
paulson |
set_of_list
|
file |
diff |
annotate
|
1997-07-25 |
nipkow |
new simproc
|
file |
diff |
annotate
|
1997-07-25 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-07-24 |
paulson |
set_of_list -> set
|
file |
diff |
annotate
|
1997-07-23 |
wenzelm |
added simplification meta rules;
|
file |
diff |
annotate
|
1997-07-23 |
paulson |
Removal of tactical STATE
|
file |
diff |
annotate
|
1997-07-18 |
wenzelm |
defs may now be conditional;
|
file |
diff |
annotate
|
1997-07-09 |
wenzelm |
removed obsolete init_pps and init_thy_reader;
|
file |
diff |
annotate
|
1997-06-20 |
wenzelm |
removed;
|
file |
diff |
annotate
|
1997-05-26 |
paulson |
Added recdef
|
file |
diff |
annotate
|
1997-05-23 |
nipkow |
arbitrary
|
file |
diff |
annotate
|
1997-05-23 |
oheimb |
adapted entry for addss, addSss
|
file |
diff |
annotate
|
1997-05-23 |
nipkow |
news.
|
file |
diff |
annotate
|
1997-05-20 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-05-15 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-05-06 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-05-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-04-24 |
nipkow |
induct_tac
|
file |
diff |
annotate
|
1997-04-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-04-21 |
paulson |
Reorganized under headings. Also documented Blast_tac and LFilter
|
file |
diff |
annotate
|
1997-04-18 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
1997-04-17 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-04-09 |
oheimb |
replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
|
file |
diff |
annotate
|
1997-04-02 |
paulson |
ZF.thy is again usable
|
file |
diff |
annotate
|
1997-03-20 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-07 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-07 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-07 |
paulson |
Tidied and updated
|
file |
diff |
annotate
|
1997-03-05 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-05 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-05 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-03-05 |
paulson |
HOL: renaming of "not"
|
file |
diff |
annotate
|
1997-02-28 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-02-17 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-02-17 |
slotosch |
described changes for HOLCF-Version without rules and arities
|
file |
diff |
annotate
|
1997-02-17 |
oheimb |
improved description of recent changes
|
file |
diff |
annotate
|
1997-02-15 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
1997-01-27 |
paulson |
More news items, dating back to 1995
|
file |
diff |
annotate
|
1997-01-27 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-01-24 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-01-24 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
1997-01-24 |
wenzelm |
Isabelle NEWS -- history of user-visible changes;
|
file |
diff |
annotate
|