10

dir
821
https://subversion.cs.uiuc.edu/svn/fms/Isabelle/Theory_of_syntax/Binding_Syntax_/Binding_Syntax
https://subversion.cs.uiuc.edu/svn/fms



2010-06-10T06:45:24.349447Z
821
popescu2














a9ece435-062e-0410-be9d-869e613d953a

QuasiTerms_Swap_Fresh.thy
file
889



2010-08-18T18:13:34.274951Z
5c5a2b924d8ac6f24b624567f094577e
2010-08-19T07:30:38.132931Z
889
popescu2





















34806

repository.thy
file
832



2010-06-15T02:14:18.530003Z
174584d55501a6e0d7678b12033faaba
2010-06-15T06:11:58.942671Z
832
popescu2





















59506

TODO.txt
file
893



2010-08-22T18:30:56.938007Z
51e0568b69efe92be3dc2440f61352df
2010-08-22T18:44:02.009741Z
893
popescu2





















776

Transition_QuasiTerms_Terms.thy
file
889



2010-08-18T18:31:02.277992Z
1ef0c40a03938fbaf3097797fbddf4ff
2010-08-19T07:30:38.132931Z
889
popescu2





















157870

Extra_Assumptions_More_Efficient.thy
file
889



2010-08-18T22:37:35.664199Z
9cf7e21be04a70adf55e4ebdc345a8a9
2010-08-19T07:30:38.132931Z
889
popescu2





















28135

scratch.thy
file
822



















deleted

ROOT.ML
file
891



2010-08-21T06:30:07.783731Z
b5062cd2f740c2d5ddb5c8d4a7068bc8
2010-08-21T07:25:51.466099Z
891
popescu2





















182

Extra_Assumptions.thy
file
889



2010-08-18T19:39:36.368018Z
581ad5846bff719e6aa82f43a63fcf64
2010-08-19T07:30:38.132931Z
889
popescu2





















62292

Terms.thy
file
889



2010-08-18T18:39:53.037724Z
79e1560e5d6d7115a7c63da46e0c9599
2010-08-19T07:30:38.132931Z
889
popescu2





















66266

Well_Sorted_Terms.thy
file
906



2010-08-29T23:44:11.242176Z
dd4b63f388a0fcb9a51ba64a19ca61f2
2010-08-30T01:19:26.175822Z
906
popescu2





















132784

TODO.tex.bak
file
893



2010-07-23T16:41:10.703737Z
01f7adb705770ceca58f231f68c88815
2010-08-22T18:44:02.009741Z
893
popescu2





















841

Iteration.thy
file
979



2010-09-05T20:34:11.301515Z
aacab41d909204d50d3c7d8928062448
2010-09-29T04:44:53.508598Z
979
popescu2





















215488

Interface.thy
file
843



















deleted

Inter1_More_Efficient.thy
file
889



2010-08-18T22:53:24.379531Z
4c60e19c7e108ca4d93381a794570bad
2010-08-19T07:30:38.132931Z
889
popescu2





















208961

TODO.tex
file
893



















deleted

Inter1.thy
file
889



2010-08-18T20:10:12.580044Z
0f772dcd283ec13260127793707502a2
2010-08-19T07:30:38.132931Z
889
popescu2





















222877

Preliminaries.thy
file
889



2010-08-18T18:12:40.252056Z
d651cc70a6a8ced3a27ca1ab84f45396
2010-08-19T07:30:38.132931Z
889
popescu2





















20609

Inter2.thy
file
889



2010-08-18T21:36:00.752299Z
842df6e4c1632e1008cb3a5703dd3518
2010-08-19T07:30:38.132931Z
889
popescu2





















360800

temp.thy
file
882



















deleted

Equiv_Relation2.thy
file




2010-01-31T22:18:15.627251Z
2dffc9c92e950828491dff9ecdb7abcb
2010-06-10T06:45:24.349447Z
821
popescu2





















5887

document
dir

Semantic_Domains.thy
file
889



2010-08-18T19:27:19.136723Z
6c47dbd59a090648e0f60a163ba56b67
2010-08-19T07:30:38.132931Z
889
popescu2





















58380

Inter.thy
file
860



















deleted

TOdelete_WellSortedTerms.thy
file
882



















deleted

Scratch.thy
file
858



2010-07-09T22:06:02.106442Z
355ef5b325224223d7ade4effe0eb82f
2010-07-21T12:39:24.769560Z
858
popescu2





















39

StableCardinals.thy
file




2010-01-31T22:18:15.627251Z
3552a81fcda14c6a111bec0f16cc835c
2010-06-10T06:45:24.349447Z
821
popescu2





















7701

xemacs-21.4.22.exe.stackdump
file
979



2010-09-05T20:32:19.758135Z
cf49c26d48254eb5ad7a5bac17ff9c16
2010-09-29T04:44:53.508598Z
979
popescu2





















331

dontForget2.thy
file
882



















deleted

Models_and_Recursion.thy
file
860



















deleted

MyTactics.thy
file




2010-01-31T22:18:15.627251Z
eb3b65c4de5bb79f4e9d8aad2071fe69
2010-06-10T06:45:24.349447Z
821
popescu2





















3011

QuasiTerms_Environments_Substitution.thy
file
889



2010-08-18T18:23:02.583949Z
0b1b39b8b6d777bd08af1913221f12ce
2010-08-19T07:30:38.132931Z
889
popescu2





















53753

QuasiTerms_PickFresh_Alpha.thy
file
889



2010-08-18T18:48:27.994629Z
e754a608087ec1ee594addcd216ff910
2010-08-19T07:30:38.132931Z
889
popescu2





















115068

README.txt
file
893



2010-08-22T18:25:15.500478Z
bdcb79bcbf4bd34d3b59920d85bd5630
2010-08-22T18:44:02.009741Z
893
popescu2





















621

Recursion.thy
file
889



2010-09-16T23:19:18.912236Z
79129c3f366b74aad266f39447003941
2010-08-19T07:30:38.132931Z
889
popescu2





















101722

scratch2.thy
file
822



















deleted

dontForget.thy
file
882



2010-08-15T03:21:25.379503Z
8dbb4fa518b0875ea5b4d5883fdca704
2010-08-15T03:23:18.765030Z
882
popescu2





















519

