Fri, 21 Apr 2000 11:28:18 +0200 | paulson | new file Integ/NatSimprocs.ML | file | diff | annotate |
Fri, 24 Mar 2000 08:56:48 +0100 | nipkow | comments | file | diff | annotate |
Thu, 16 Mar 2000 00:35:27 +0100 | wenzelm | added HOL/PreLIst.thy; | file | diff | annotate |