["Te",["Tema 1: Programaci\u00f3n funcional en Isabelle","Tema 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL","Temas"],["","","",""],["https://www.glc.us.es/~jalonso/RA2015/index.php/Tema_1:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/RA2015/index.php/Tema_2b:_Razonamiento_autom%C3%A1tico_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2015/index.php/Tema_3:_Razonamiento_estructurado_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2015/index.php/Temas"]]