diff options
Diffstat (limited to 'user-contrib')
| -rw-r--r--[-rwxr-xr-x] | user-contrib/Ltac2/Bool.v | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | user-contrib/Ltac2/Init.v | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/user-contrib/Ltac2/Bool.v b/user-contrib/Ltac2/Bool.v index d808436e13..d808436e13 100755..100644 --- a/user-contrib/Ltac2/Bool.v +++ b/user-contrib/Ltac2/Bool.v diff --git a/user-contrib/Ltac2/Init.v b/user-contrib/Ltac2/Init.v index 88454ff2fb..88454ff2fb 100755..100644 --- a/user-contrib/Ltac2/Init.v +++ b/user-contrib/Ltac2/Init.v |