974 section {* Methods *}

   974 section {* Methods *}

   975 

   975 

   976 text {*

   976 text {*

   977   Methods are a central concept in Isabelle. They are the ones you use for example

   977   Methods are a central concept in Isabelle. They are the ones you use for example

   978   in \isacommand{apply}. To print out all currently known methods you can use the 

   978   in \isacommand{apply}. To print out all currently known methods you can use the 

   980 *}

   980 *}

   981 

   981 

   982 print_methods

   982 print_methods

   983 

   983 

   984 text {*

   984 text {*