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

src/HOL/Proofs.thy

author | wenzelm |

Sun Jun 30 12:30:02 2013 +0200 (2013-06-30) | |

changeset 52488 | cd65ee49a8ba |

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

discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;

discontinued unused proofterms for FOL;

discontinued unused proofterms for FOL;