| 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
|