src/Pure/Isar/net_rules.ML
Fri, 05 May 2000 22:09:41 +0200 wenzelm GPLed;
Fri, 31 Mar 2000 21:55:51 +0200 wenzelm fixed indexing of elim rules;
Sun, 27 Feb 2000 15:07:53 +0100 wenzelm added Isar/net_rules.ML;
less more (0) tip