| Thu, 04 Oct 2001 23:27:42 +0200 | wenzelm | Thm.major_prem_of part of Logic.strip_assums_concl; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 31 Mar 2000 21:55:51 +0200 | wenzelm | fixed indexing of elim rules; | file | diff | annotate |
| Sun, 27 Feb 2000 15:07:53 +0100 | wenzelm | added Isar/net_rules.ML; | file | diff | annotate |