/[mojave]/metaprl/theories/tactic
ViewVC logotype

Index of /metaprl/theories/tactic

Files shown:24
Directory revision: 3584 (of 13286)
Sticky Revision:
(Current path doesn't exist after revision 4540)


File Rev. Age Author Last log entry
 Parent Directory        
.cprc  2032  24 years  jyh   This is the initial checkin of Nuprl-Light. I am porting the editor, so it is no…
.ispell_english  3124  20 years  nogin   Spelling changes. For best results, upgrade to http://www.cs.cornell.edu/nogin/R
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
Makefile  3058  20 years  jyh   Last commit failed partway through...
base_dform.ml  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
base_dform.mli  3324  20 years  nogin   Numerous display form updates.
comment.ml  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
comment.mli  3235  20 years  nogin   Display form fixes. - TeX: all object-level terms (theorem statements, etc) are…
mptop.ml  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
mptop.mli  3297  20 years  nogin   Resource intermediate data type is irrelevant, so they are no longer required in…
nuprl_font.ml  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
nuprl_font.mli  3396  19 years  nogin   - Added proper escaping of <, > and & in html Rformat output - Goal and Subgoal …
perv.ml  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
perv.mli  3303  20 years  kopylov   Simplify primitive rules and improve tactics for elimination of intersection typ…
summary.ml  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
summary.mli  3278  20 years  nogin   - Changed the syntax of resource implementation. Now you no longer need to re-de…
tactic_cache.ml  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
tactic_cache.mli  3292  20 years  nogin   *** IMPORTANT: before doing "cvs update" see warning below *** This commit impl…
top_conversionals.ml  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
top_conversionals.mli  3297  20 years  nogin   Resource intermediate data type is irrelevant, so they are no longer required in…
top_tacticals.ml  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
top_tacticals.mli  3328  20 years  nogin   FOL theory is now complete.
var.ml  3519  19 years  nogin   String_util cleanup: - Removed some duplicated and unused string code. - Remove…
var.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …

Properties

Name Value
svn:ignore .consign *.cm* *.pp* *.p4* Makefile.dep tactic_type.ml tactic_type.mli thread_refiner_sig.ml thread_refiner_sig.mli gmon.out

  ViewVC Help
Powered by ViewVC 1.1.26