{"batchcomplete":"","continue":{"lecontinue":"20210726095313|66","continue":"-||"},"query":{"logevents":[{"logid":76,"ns":0,"title":"Temas","pageid":0,"logpage":6,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:58:21Z","comment":"el contenido era: \u00abEn esta p\u00e1gina se encuentra el material (transparencias y teor\u00edas) del curso ''L\u00f3gica matem\u00e1tica y fundamentos''.  * Tema\u2026\u00bb, y el \u00fanico autor fue \u00ab[[Special:Contributions/Jalonso|Jalonso]]\u00bb ([[User talk:Jalonso|discusi\u00f3n]])"},{"logid":75,"ns":0,"title":"Colaboraciones","pageid":0,"logpage":14,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:56:51Z","comment":"el contenido era: \u00ab=== Colaboraciones en todas la relaciones ===  <source lang=\"text\"> |  25 | marcabalv1  | |  24 | edumergom   | |  24 | dessan\u2026\u00bb, y el \u00fanico autor fue \u00ab[[Special:Contributions/Jalonso|Jalonso]]\u00bb ([[User talk:Jalonso|discusi\u00f3n]])"},{"logid":74,"ns":0,"title":"Relaci\u00f3n 15","pageid":0,"logpage":55,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:56:23Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\"> chapter \u2039 R15: Definiciones inductivas: clausuras \u203a  theory R15 imports Main begin   section \u2039 L\u2026\u00bb, y el \u00fanico autor fue \u00ab[[Special:Contributions/Mjoseh|Mjoseh]]\u00bb ([[User talk:Mjoseh|discusi\u00f3n]])"},{"logid":73,"ns":0,"title":"Relaci\u00f3n 14","pageid":0,"logpage":52,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:55:06Z","comment":"el contenido era: \u00ab<source lang =\"isabelle\">  chapter \u2039R14: Una axiomatizaci\u00f3n de la Geometr\u00eda\u203a  theory R14 imports Main  begin  text \u2039   --------------------------------------------------------------------------------------------------   Ej\u2026\u00bb"},{"logid":72,"ns":0,"title":"Relaci\u00f3n 13","pageid":0,"logpage":46,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:54:50Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\"> chapter \u2039R13: Recorridos de \u00e1rboles\u203a  theory R13 imports Main  begin   text \u2039------------------------------------------------------------------    Ejercicio 1. Definir el tipo de datos arbol para\u2026\u00bb"},{"logid":71,"ns":0,"title":"Relaci\u00f3n 12","pageid":0,"logpage":44,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:54:34Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\">  chapter \u2039 R12: Razonamiento sobre programas en Isabelle/HOL (III)\u203a   theory R12 imports Main  begin  text \u2039------------------------------------------------------------------    En toda la relaci\u00f3\u2026\u00bb"},{"logid":70,"ns":0,"title":"Relaci\u00f3n 11","pageid":0,"logpage":36,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:54:20Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\">  chapter \u2039 R11: Razonamiento sobre programas en Isabelle/HOL (II)\u203a   theory R11 imports Main  begin   text \u2039 ---------------------------------------------------------------     En toda la relaci\u00f3n\u2026\u00bb"},{"logid":69,"ns":0,"title":"Relaci\u00f3n 10","pageid":0,"logpage":34,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:54:07Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\"> chapter \u2039 R10: Razonamiento sobre programas en Isabelle/HOL \u203a   theory R10 imports Main  begin   text \u2039 ---------------------------------------------------------------     En toda la relaci\u00f3n de e\u2026\u00bb"},{"logid":68,"ns":0,"title":"Relaci\u00f3n 9","pageid":0,"logpage":31,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:53:45Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\"> chapter \u2039 R9: Programaci\u00f3n funcional en Isabelle/HOL (II) \u203a   theory R9 imports Main  begin      text \u2039 ---------------------------------------------------------------    Ejercicio 1. Definir la f\u2026\u00bb"},{"logid":67,"ns":0,"title":"Relaci\u00f3n 8","pageid":0,"logpage":28,"params":{},"type":"delete","action":"delete","user":"Jalonso","timestamp":"2021-07-26T09:53:32Z","comment":"el contenido era: \u00ab<source lang = \"isabelle\"> chapter \u2039 R8 Programaci\u00f3n funcional en Isabelle \u203a  theory R8 imports Main  begin  text \u2039 ----------------------------------------------------------------   Ejercicio 0. Definir, por recursi\u00f3n, la\u2026\u00bb"}]}}