FilesExpand file tree

master

/

Smart_Isabelle.thy

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

15 lines (13 loc) · 282 Bytes

master

/

Smart_Isabelle.thy

Copy path

Top

File metadata and controls

• Code
• Blame

15 lines (13 loc) · 282 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

(* Title: Smart_Isabelle.thy

Author: Yutaka Nagashima

The top-level theory that bundles SeLFiE, PSL, TBC, and Abduction into a

single import for end users.

*)

theory Smart_Isabelle

imports

"SeLFiE.SeLFiE"

"PSL.PSL"

"TBC.TBC"

"Abduction.Abduction"

begin

end