Searched refs:descr (Results 1 - 3 of 3) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | export_helper.ml | 772 val is_mutually_rec_type = fn (_,i) => length (#descr i) >1 791 then (dt_desc (#descr v))::l |
| /hets/doc/ | ||
| H A D | UserGuideCommonLogic.tex | 803 \item[Importation] \label{descr:link_import} 855 Just as with imports (\ref{descr:link_import}), \Hets supports different types |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 25 milliseconds