elimina archivos inutiles

fran6co · Jun 24, 2012 · e32d261 · e32d261
1 parent 9de34d8
commit e32d261
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 138 deletions.
diff --git a/lib/dynamite/PDOCFAAxioms.pvs b/lib/dynamite/PDOCFAAxioms.pvs
diff --git a/lib/dynamite/PDOCFABase.pvs b/lib/dynamite/PDOCFABase.pvs
diff --git a/lib/dynamite/PDOCFADefinitions.pvs b/lib/dynamite/PDOCFADefinitions.pvs
diff --git a/lib/dynamite/PDOCFARules.pvs b/lib/dynamite/PDOCFARules.pvs
diff --git a/lib/dynamite/PDOCFATheorems.pvs b/lib/dynamite/PDOCFATheorems.pvs