| author | wenzelm |
| Thu Sep 02 17:12:16 2010 +0200 (2010-09-02) | |
| changeset 39048 | 4006f5c3f421 |
| parent 36960 | 01594f816e3a |
| permissions | -rw-r--r-- |
| webertj@14350 | 1 |
(* Title: HOL/Tools/refute_isar.ML |
| webertj@14350 | 2 |
Author: Tjark Weber |
| webertj@22092 | 3 |
Copyright 2003-2007 |
| webertj@14350 | 4 |
|
| webertj@14350 | 5 |
|
| webertj@14350 | 6 |
end; |
| webertj@14350 | 7 |