summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

src/HOL/Main.thy

author | paulson |

Thu Sep 27 17:55:28 2007 +0200 (2007-09-27) | |

changeset 24742 | 73b8b42a36b6 |

parent 24699 | c6674504103f |

child 25223 | 7463251e7273 |

permissions | -rw-r--r-- |

removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering

theorems of Nat.thy are hidden by the Ordering.thy versions

theorems of Nat.thy are hidden by the Ordering.thy versions