author  bulwahn 
Sat, 21 Jul 2012 10:55:42 +0200  
changeset 48415  b42067a3188f 
parent 48356  b6081af563a9 
child 48596  3defa60a7ae3 
permissions  rwrr 
46585  1 
use_thys [ 
48267
f5676fad35a3
deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file
bulwahn
parents:
48243
diff
changeset

2 
(* "Find_Unused_Assms_Examples", *) 
48415
b42067a3188f
restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
bulwahn
parents:
48356
diff
changeset

3 
"Quickcheck_Examples" 
b42067a3188f
restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
bulwahn
parents:
48356
diff
changeset

4 
(*, 
47205
34e8b7347dda
adding theory to prove completeness of the exhaustive generators
bulwahn
parents:
46701
diff
changeset

5 
"Quickcheck_Lattice_Examples", 
48179
18461f745b4a
adding some minimal documentation and an example of quickcheck's interfaces
bulwahn
parents:
47205
diff
changeset

6 
"Completeness", 
48222
fcca68383808
adding the hotel key card example in QuickcheckExamples
bulwahn
parents:
48179
diff
changeset

7 
"Quickcheck_Interfaces", 
48224
f2dd90cc724b
adding an example using Quickcheck to find a valid trace for the needhamschroeder protocol (a case study for Quickcheck)
bulwahn
parents:
48222
diff
changeset

8 
"Hotel_Example", 
48243
b149de01d669
adding three variants of the NeedhamSchroeder formalisation as case studies for Quickcheck
bulwahn
parents:
48224
diff
changeset

9 
"Needham_Schroeder_No_Attacker_Example", 
b149de01d669
adding three variants of the NeedhamSchroeder formalisation as case studies for Quickcheck
bulwahn
parents:
48224
diff
changeset

10 
"Needham_Schroeder_Guided_Attacker_Example", 
48415
b42067a3188f
restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
bulwahn
parents:
48356
diff
changeset

11 
"Needham_Schroeder_Unguided_Attacker_Example"*) 
46585  12 
]; 
48356
b6081af563a9
deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest
bulwahn
parents:
48267
diff
changeset

13 
(* 
46585  14 
if getenv "ISABELLE_GHC" = "" then () 
15 
else use_thy "Quickcheck_Narrowing_Examples"; 

48356
b6081af563a9
deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest
bulwahn
parents:
48267
diff
changeset

16 
*) 