src/Pure/Isar/net_rules.ML
2000-03-31 ago fixed indexing of elim rules;
2000-02-27 ago added Isar/net_rules.ML;