--- a/src/Pure/pure_thy.ML Wed Oct 27 16:54:43 1999 +0200
+++ b/src/Pure/pure_thy.ML Wed Oct 27 17:09:05 1999 +0200
@@ -428,7 +428,8 @@
|> Theory.add_trfuns Syntax.pure_trfuns
|> Theory.add_trfunsT Syntax.pure_trfunsT
|> Theory.add_syntax
- [("==>", "[prop, prop] => prop", Delimfix "op ==>")]
+ [("==>", "[prop, prop] => prop", Delimfix "op ==>"),
+ (dummy_patternN, "aprop", Delimfix "'_")]
|> Theory.add_consts
[("==", "['a::{}, 'a] => prop", InfixrName ("==", 2)),
("=?=", "['a::{}, 'a] => prop", InfixrName ("=?=", 2)),