lib/logo/isabelle.gif
author wenzelm
Mon, 16 Jun 2008 22:13:54 +0200
changeset 27245 817d34377170
parent 3799 d00f6460ac4d
permissions -rw-r--r--
added instantiate_tac, cut_inst_tac, forw_inst_tac, dres_inst_tac, make_elim_preserve (from tactic.ML); pervasive operations; tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3799
d00f6460ac4d The Isabelle Logo;
wenzelm
parents:
diff changeset
     1
(binary:image/gif)