Fri, 20 Jul 2007 14:28:05 +0200 | haftmann | dropped Nat.ML legacy bindings | file | diff | annotate |
Thu, 05 Jul 2007 20:01:26 +0200 | wenzelm | renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac; | file | diff | annotate |
Thu, 21 Jun 2007 22:52:22 +0200 | huffman | add thm antiquotations | file | diff | annotate |
Wed, 13 Jun 2007 03:28:21 +0200 | huffman | thm antiquotations | file | diff | annotate |
Mon, 11 Jun 2007 11:06:15 +0200 | chaieb | tuned tactic | file | diff | annotate |
Wed, 06 Jun 2007 16:12:08 +0200 | chaieb | New Reflected Presburger added to HOL/ex | file | diff | annotate |