Menu ▾ ▴

Tree [r365] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 ECDF 2011-11-25 omarmrivas [r303] Experiment about rotate
 IsaScheme-dev 2013-02-05 omarmrivas [r365] latest changes
 IsaScheme2011 2011-08-29 omarmrivas [r289] IsaScheme-dev added which uses Isabelle-dev
 Papers 2013-01-09 omarmrivas [r362] latest changes
 Reports 2010-05-10 omarmrivas [r106] test 1 over ECDF
 document 2009-05-19 omarmrivas [r2] A working version os IsaScheme, includes mutual...
 src 2011-07-13 omarmrivas [r282] evaluacion
 AProVE.jar 2010-06-29 omarmrivas [r127] First Working Version for Isabelle2009-2
 Automatheo09.thy 2009-07-29 omarmrivas [r30] Naturals example
 Chapter3.thy 2011-04-15 omarmrivas [r241] Thesis changes
 Demo1.thy 2010-03-08 omarmrivas [r96] previous to override past note theorem procedur...
 Demo2.thy 2010-02-17 omarmrivas [r93] induct_auto now handles parameters in the goal ...
 Demo3.thy 2010-03-08 omarmrivas [r96] previous to override past note theorem procedur...
 Demo4.thy 2010-02-17 omarmrivas [r93] induct_auto now handles parameters in the goal ...
 Demo5.thy 2010-01-28 omarmrivas [r82] Redefinition of infraestructure... use of explo...
 Demo6.thy 2010-01-28 omarmrivas [r82] Redefinition of infraestructure... use of explo...
 Derivative.thy 2011-02-28 omarmrivas [r227] Including an experimental firts-order lpo
 IsaMakefile 2010-05-11 omarmrivas [r107] Improved cluster script file
 Lists.thy 2010-04-07 omarmrivas [r100] proof objects and html result output
 Naturals.thy 2010-10-16 omarmrivas [r187] Added theory about append, reverse, map and length
 NaturalsReport.thy 2009-11-05 omarmrivas [r65] minor corrections to MATHsAiD conversion utilities
 ROOT.ML 2009-05-19 omarmrivas [r2] A working version os IsaScheme, includes mutual...
 Termination.thy 2011-03-16 omarmrivas [r235] Last commit before upgrading to Isabelle 2011
 Test.html 2011-03-16 omarmrivas [r235] Last commit before upgrading to Isabelle 2011
 Test.thy 2011-08-29 omarmrivas [r289] IsaScheme-dev added which uses Isabelle-dev
 Test3.thy 2010-08-28 omarmrivas [r138] Irreducibility test of R, proper Isar managemen...
 TestDbg.thy 2009-06-22 omarmrivas [r16] minor changes
 TestDbg1.thy 2009-06-09 omarmrivas [r9] Addition of IsaScheme in IsaPlanner and two int...
 TestDbg2.thy 2009-06-09 omarmrivas [r9] Addition of IsaScheme in IsaPlanner and two int...
 TestDbg3.thy 2009-06-15 omarmrivas [r11] Filtering of constant and projection functions ...
 Unification.thy 2010-10-09 omarmrivas [r177] Some changes
 isar-keywords-IsaScheme.el 2011-03-17 omarmrivas [r236] IsaScheme 2011
 pattern.ML 2011-03-10 omarmrivas [r234] Thesis updates
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.