changeset 1459 | d12da312eff4 |
parent 0 | a5a9c433f639 |
child 1464 | a608f83e3421 |
--- a/src/FOLP/ex/quant.ML Mon Jan 29 13:56:41 1996 +0100 +++ b/src/FOLP/ex/quant.ML Mon Jan 29 13:58:15 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: FOL/ex/quant +(* Title: FOL/ex/quant ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge First-Order Logic: quantifier examples (intuitionistic and classical)