 Parent Directory
|
|
|
|
|
HOL-Omega/
|
6104 |
4 days |
homeier |
Modified Term.type_subst, to now raise the rank of the target of the substitutio... |
|
athabasca5_branch/
|
675 |
8 years |
mn200 |
Updated file so that it states requirement for MoscowML v1.44.
|
|
foo/
|
6 |
9 years |
|
This commit was manufactured by cvs2svn to create branch 'foo'. |
|
kananaskis-1-fixes-branch/
|
3587 |
4 years |
michaeln |
Update to instructions here based on recent experience.
|
|
level-1-branch/
|
2805 |
6 years |
kw217 |
Import Michael's code onto branch.
|
|
parse_branch/
|
102 |
9 years |
mn200 |
store_thm now prints out a message if it fails (i.e., if some part of
it raises ... |
|
taupo-5-fixes-branch/
|
1627 |
7 years |
mn200 |
Added some error handling, and also got it to compile win-config.
|
|
term_with_closure_branch/
|
199 |
9 years |
bb236 |
The dedicated term structure term does not speed up (why ?)
putting the equation... |
