proof-general/coq/ML4PG/libs/ssreflect/basic/seq_names, branch master
Emacs plugins for proof management systems
Removing files from ML4PG folder
2013-05-31T12:28:08+00:00
joheras
2013-05-31T12:28:08+00:00
63eefb4027b9b59f7f91a6e4aaf1763790083e8f
*** empty log message ***
2013-05-30T13:16:27+00:00
joheras
2013-05-30T13:16:27+00:00
764a7f8e44f7412de80a4feb350aaa9bdd060b44