| Tue, 02 Sep 2008 22:37:20 +0200 | nipkow | Replaced Library/NatPair by Nat_Int_Bij. | file | diff | annotate |
| Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Tue, 23 Sep 2003 15:40:27 +0200 | paulson | new session HOL-SET-Protocol | file | diff | annotate |