1(* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 *) 6(*<*) 7theory UserEvent 8imports "UserStubs" GenEventBase 9begin 10 11(* Stub to expose existing static UserStubs.thy. This is to avoid having to 12 * manually modify generated theories. 13 *) 14 15end 16(*>*) 17