syntax highlight の定義の更新

Author: Seasawher

theme/highlight.js

@@ -1120,7 +1120,7 @@ var hljs=function(){"use strict";function e(n){Object.freeze(n)
         '#check #check_failure #eval #reduce #print ' +
         '#guard #guard_msgs #synth ' +
         'section namespace end infix infixl infixr postfix prefix notation abbrev ' +
-        'declare_syntax_cat ',
+        'declare_syntax_cat grind_pattern ',
       built_in:
         'Type Prop|10 Sort rw|10 rewrite rwa erw subst substs ' +
         'simp dsimp simpa simp_intros finish using generalizing ' +
@@ -1137,7 +1137,8 @@ var hljs=function(){"use strict";function e(n){Object.freeze(n)
         'fail_if_success success_if_fail guard_target guard_hyp ' +
         'have replace at suffices show from ' +
         'congr congr_n congr_arg norm_num ring omega ' +
-        'exists ext fail native_decide decide change obtain ',
+        'exists ext fail native_decide decide change obtain ' +
+        'fun_induction fun_cases grind ',
       literal:
         'true false',
       meta: