test-suite/interactive/Back.v


1
2
3
4
5
6
7
8

(* Check that reset remains synchronised with the compilation unit cache *)
(* See bug #1030 *)

Section multiset_defs.
  Require Import Plus.
End multiset_defs.
Unset Implicit Arguments.
Back 1.