author | wenzelm |

Fri Oct 28 22:37:57 2005 +0200 (2005-10-28) | |

changeset 18044 | f27022e2ec3a |

parent 18043 | 2427edb2e8a2 |

child 18045 | 6d69a4190eb2 |

tuned;

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