|
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
|
