| Sat, 23 Sep 2000 16:08:23 +0200 | paulson | renaming the inverse image operator in HOL | file | diff | annotate |
| Wed, 08 Sep 1999 15:38:54 +0200 | paulson | comments | file | diff | annotate |
| Tue, 24 Feb 1998 11:35:33 +0100 | paulson | New theory of the inverse image of a function | file | diff | annotate |