summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | wenzelm |

Fri, 28 Oct 2005 22:37:57 +0200 | |

changeset 18044 | f27022e2ec3a |

parent 18043 | 2427edb2e8a2 |

child 18045 | 6d69a4190eb2 |

tuned;

--- a/NEWS Fri Oct 28 22:32:55 2005 +0200 +++ b/NEWS Fri Oct 28 22:37:57 2005 +0200 @@ -53,8 +53,8 @@ `A` and `A ==> B` and `!!x. P x ==> Q x" as well as `P a ==> Q a` etc. There is also a proof method "fact" which does the same composition -for explicit goals states, e.g. the following proof texts coincide -with certain special cases of literal facts: +for explicit goal states, e.g. the following proof texts coincide with +certain special cases of literal facts: have "A" by fact == note `A` have "A ==> B" by fact == note `A ==> B`