src/Pure/Isar/isar_syn.ML
changeset 29857 2cc976ed8a3c
parent 29610 83d282f12352
child 29882 29154e67731d
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Tue Feb 10 17:53:51 2009 -0800
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Wed Feb 11 14:48:14 2009 +1100
     1.3 @@ -860,6 +860,7 @@
     1.4    P.reserved "intro" >> K FindTheorems.Intro ||
     1.5    P.reserved "elim" >> K FindTheorems.Elim ||
     1.6    P.reserved "dest" >> K FindTheorems.Dest ||
     1.7 +  P.reserved "solves" >> K FindTheorems.Solves ||
     1.8    P.reserved "simp" |-- P.!!! (P.$$$ ":" |-- P.term) >> FindTheorems.Simp ||
     1.9    P.term >> FindTheorems.Pattern;
    1.10