equal
deleted
inserted
replaced
8 confluence of beta, eta and beta+eta. |
8 confluence of beta, eta and beta+eta. |
9 <P> |
9 <P> |
10 |
10 |
11 |
11 |
12 The paper |
12 The paper |
13 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ic.html"> |
13 <A HREF="http://www.in.tum.de/~nipkow/pubs/jar2000.html"> |
14 More Church-Rosser Proofs (in Isabelle/HOL)</A> |
14 More Church-Rosser Proofs (in Isabelle/HOL)</A> |
15 describes the whole theory. |
15 describes the whole theory. |
16 |
16 |
17 <HR> |
17 <HR> |
18 |
18 |
19 <P>Last modified 5/11/96 |
19 <P>Last modified 20.5.2000 |
20 |
20 |
21 </BODY> |
21 </BODY> |
22 </HTML> |
22 </HTML> |